1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// PR c++/101174 // { dg-do compile { target c++17 } } struct S { using type = int; }; template<class T = int, class U = S> struct multiset { using type = typename U::type; multiset(T); multiset(U); }; template<class T> multiset(T) -> multiset<T>; multiset c(42);