Open
Description
https://godbolt.org/z/3r8erG8dP
template<int> int a;
template<int a> void f() requires requires { [] { a; }; } {}
int main() {}
<source>:3:51: error: use of variable template 'a' requires template arguments
3 | template<int a> void f() requires requires { [] { a; }; } {}
| ^
<source>:1:19: note: template is declared here
1 | template<int> int a;
| ~~~~~~~~~~~~~ ^
1 error generated.
Compiler returned: 1