| // PR 94287 ICE looking inside open template-parm level | |
| // { dg-do run { target c++17 } } | |
| // { dg-options -fconcepts } | |
| template <typename T, | |
| bool X = requires { requires (sizeof(T)==1); } > | |
| int foo(T) { return X; } | |
| int main() { | |
| if (!foo('4')) | |
| return 1; | |
| if (foo (4)) | |
| return 2; | |
| return 0; | |
| } |