3 files changed, 17 insertions, 0 deletions
diff --git a/tests/untried/pos/t6245/Base.java b/tests/untried/pos/t6245/Base.java
new file mode 100644
index 000000000..651ea08bf
--- /dev/null
+++ b/tests/untried/pos/t6245/Base.java
@@ -0,0 +1,5 @@
+package t1;
+
+public class Base {
+  protected Vis inner;
+}
diff --git a/tests/untried/pos/t6245/Foo.scala b/tests/untried/pos/t6245/Foo.scala
new file mode 100644
index 000000000..ea7a99e12
--- /dev/null
+++ b/tests/untried/pos/t6245/Foo.scala
@@ -0,0 +1,9 @@
+import t1.Vis
+
+abstract class Foo extends t1.Base {
+  trait Nested {
+    def crash(): Unit = {
+      inner
+    }
+  }
+}
diff --git a/tests/untried/pos/t6245/Vis.java b/tests/untried/pos/t6245/Vis.java
new file mode 100644
index 000000000..4267f4e40
--- /dev/null
+++ b/tests/untried/pos/t6245/Vis.java
@@ -0,0 +1,3 @@
+package t1;
+
+public class Vis { }