Lines Matching refs:T2
15 return []<class T2>(T2) -> X<X<T2>> { in t1()
17 static X<X<T2>> f() { in t1()
19 static_assert(is_same<T2, X<T1>>); in t1()
20 static_assert(is_same<T3, X<T2>>); in t1()
22 }(X<T2>()); in t1()
32 return []<class T2>(T2) {
36 static_assert(is_same<T2, X<T1>>);
37 static_assert(is_same<T3, X<T2>>);
39 }(X<T2>());
49 return []<C1<T1> T2>(T2) -> C1<X<T2>> auto {
52 return []<C1<T2> T3>(T3) -> C1<T3> auto {
54 }(X<T2>());