https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94592
--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Another problematical testcase: struct A { int i; constexpr A(int n) : i(n) {} }; template <A a> struct B { int i; constexpr B() : i(a.i) { } }; template<typename> void bar () { B<{1}> var; } void fu() { bar<int>(); }