diff --git a/compiler/test-resources/repl/i4010 b/compiler/test-resources/repl/i4010
new file mode 100644
index 000000000000..3273e9264a81
--- /dev/null
+++ b/compiler/test-resources/repl/i4010
@@ -0,0 +1,6 @@
+scala> trait TmpT { type A; type B; type AorB = A | B ; def fromA(a: A): AorB = a; def fromB(b: B): AorB = b }
+// defined trait TmpT
+scala> object TmpO extends TmpT{ type A = 7; type B = 8 }
+// defined object TmpO
+scala> val x: TmpO.AorB = TmpO.fromA(7)
+val x: TmpO.AorB = 7