From 102c778a387b8ea97b0becd153a69b7bc54f3052 Mon Sep 17 00:00:00 2001
From: Anatolii <anatoliykmetyuk@gmail.com>
Date: Tue, 18 Feb 2020 14:47:43 +0100
Subject: [PATCH] Fix #8143: add regression test

---
 tests/pos/i8143.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/pos/i8143.scala

diff --git a/tests/pos/i8143.scala b/tests/pos/i8143.scala
new file mode 100644
index 000000000000..ac0f3b5b1d8f
--- /dev/null
+++ b/tests/pos/i8143.scala
@@ -0,0 +1,11 @@
+class Reflection(val internal: CompilerInterface) { self => // It works if the self is removed
+  opaque type Flags = internal.Flags
+  object Flags {
+    def EmptyFlags: Flags = internal.Flags_EmptyFlags
+  }
+}
+
+trait CompilerInterface {
+  type Flags
+  def Flags_EmptyFlags: Flags
+}