The following code is accepted by clang-trunk, while GCC and MSVC reject it.

template <typename> concept a = b<[] {}>(); int main() {} 

Please refer to: https://godbolt.org/z/hvr3xn5xd