1 // PR c++/81180 2 // { dg-options -std=c++17 } 3 4 template < int I > struct int_{}; 5 6 template < typename T > 7 struct A{ 8 template < typename U, int I > 9 struct B{ BA::B10 B(U u, int_< I >){} 11 }; 12 }; 13 14 main()15 int main(){ 16 A< int >::B v(0, int_< 0 >()); 17 (void)v; 18 } 19 20