1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/pos/abstract.scala b/test/files/pos/abstract.scala
new file mode 100644
index 0000000000..533f996931
--- /dev/null
+++ b/test/files/pos/abstract.scala
@@ -0,0 +1,9 @@
+abstract class C() {
+  type t;
+  def copy(x: t): t = x;
+}
+
+class D() extends C() {
+  type t = Int;
+  System.out.println(copy(1));
+}