1 // PR c++/58843
2 
3 struct A {};
4 
foo(T t)5 template<typename T> void foo(T t)
6 {
7   t.T::~X();  // { dg-error "no type" }
8 }
9 
bar()10 void bar()
11 {
12   foo(A());
13 }
14