Unrelated test for a previously closed issue

Author: odersky

tests/neg/i8338.scala

@@ -0,0 +1,8 @@
+object test {
+  trait B {
+    type X; def mkX(i: Int): B#X
+  }
+  val b: B = new B {
+    type X = Int; def mkX(i: Int): X = i  // error
+  }
+}