https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68826
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- No ICE with current trunk: 68826.cc: In instantiation of 'bool requires_types(Types&& ...) [with Types = {char, int, const char (&)[3]}]': 68826.cc:10:30: required from here 68826.cc:5:19: error: 'foo' was not declared in this scope 5 | requires { foo(types); }); | ~~~^~~~~~~ 68826.cc:5:19: error: 'foo' was not declared in this scope, and no declarations were found by argument-dependent lookup at the point of instantiation [-fpermissive] 68826.cc:5:19: error: 'foo' was not declared in this scope, and no declarations were found by argument-dependent lookup at the point of instantiation [-fpermissive]