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