2 files changed, 16 insertions, 0 deletions
diff --git a/test/files/pos/t3938/Parent.java b/test/files/pos/t3938/Parent.java
new file mode 100644
index 0000000000..08fae330bb
--- /dev/null
+++ b/test/files/pos/t3938/Parent.java
@@ -0,0 +1,9 @@
+public class Parent<A>{
+    class I1 {}
+    class I2 extends Parent.I1 {}
+
+    // OKAY:
+    class I3 extends I1 {}
+    static class I4 {}
+    static class I5 extends Parent.I4 {}
+}
diff --git a/test/files/pos/t3938/UseParent.scala b/test/files/pos/t3938/UseParent.scala
new file mode 100644
index 0000000000..685d1a03a8
--- /dev/null
+++ b/test/files/pos/t3938/UseParent.scala
@@ -0,0 +1,7 @@
+object UseParent {
+  classOf[Parent[AnyRef]#I2]
+
+  // OKAY
+  classOf[Parent[AnyRef]#I3]
+  classOf[Parent.I5]
+}