1 // PR c++/80452 2 // { dg-do compile { target c++11 } } 3 4 template<typename> struct check { }; 5 template<typename T> struct check<T&>; 6 7 struct A { 8 A() = default; 9 A(A&&) = default; 10 A(const A&) = delete; 11 }; 12 13 template <class T> 14 struct B { 15 template <class U> B(U&&) { check<U> u; } 16 }; 17 18 B<A> f() 19 { 20 A a; 21 return a; 22 } 23