1 // PR c++/94719 2 // { dg-do compile { target concepts } } 3 4 template<typename T> 5 struct bar 6 { 7 template<int N = 5> requires (N == 5) barbar8 bar() { } 9 }; 10 11 template<typename T> 12 struct foo : bar<T> 13 { 14 using foo::bar::bar; 15 }; 16 baz()17 void baz() 18 { 19 foo<int>{}; 20 } 21