https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97700
--- Comment #5 from Lukas Böger <mail at lboeger dot de> --- One part of this seems to be resolved with version 13. Below, only the lambda use case fails to compile, whereas prior to version 13, both type aliases are rejected: ``` void fun() {} struct S { void (*f)(); }; template<S> struct X {}; using works = X<S{ fun }>; using does_not_work = X<S{ []{}}>; ``` See https://godbolt.org/z/3E7WE6zKo