| // { dg-additional-options -fmodules-ts } | |
| import bob; | |
| template<typename T> struct X | |
| { | |
| using type = T; | |
| }; | |
| template<typename X, typename Y> struct same; | |
| template<typename X> struct same<X, X> {}; | |
| void frob () | |
| { | |
| using type = Wrapper<X, int>::type::type; | |
| same<type, int> v; | |
| } |