1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/template/access2.C b/gcc/testsuite/g++.dg/template/access2.C
new file mode 100644
index 000000000..c5e3f1103
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/access2.C
@@ -0,0 +1,20 @@
+// { dg-do compile }
+
+// PR c++/5387
+// Enforcing access of typename type.
+
+template <class T> struct A {
+  typename T::X x;			// { dg-error "this context" }
+  int f() { return T::i; }		// { dg-error "this context" }
+};
+
+class B {
+  typedef int X;			// { dg-error "private" }
+  static int i;				// { dg-error "private" }
+};
+
+int main()
+{
+  A<B> ab;				// { dg-message "instantiated" }
+  ab.f();				// { dg-message "instantiated" }
+}