https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92948
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> --- A related test that I think should compile: struct A { constexpr A(int) { } }; template<A a> struct B { }; template<int X> void foo() { B<X> b; // works with B<1> } void fn () { foo<1>(); }