From b3425acde27c3fc0bbc96cfc8f783b1aa9253952 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Wed, 17 Jul 2019 13:51:54 +0200
Subject: [PATCH] Fix #4010: Add regression test

---
 compiler/test-resources/repl/i4010 | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 compiler/test-resources/repl/i4010

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