| // PR c++/80452 | |
| // { dg-do compile { target c++11 } } | |
| template<typename> struct check { }; | |
| template<typename T> struct check<T&>; | |
| struct A { | |
| A() = default; | |
| A(A&&) = default; | |
| A(const A&) = delete; | |
| }; | |
| template <class T> | |
| struct B { | |
| template <class U> B(U&&) { check<U> u; } | |
| }; | |
| B<A> f() | |
| { | |
| A a; | |
| return a; | |
| } |