| // PR c++/50800 | |
| template <typename T> struct B; | |
| template <typename T> struct B<T &> { | |
| typedef T type; | |
| }; | |
| struct A { | |
| typedef int TA __attribute__((__may_alias__)); | |
| }; | |
| void d() { B<int &> b; } | |
| int main() { B<A::TA &> b; } // { dg-warning "attributes" } |