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