From 95a94c4670035acb9bdef256d64e837771a2f9fe Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 6 Mar 2019 15:42:24 +0100
Subject: [PATCH] Test for #6003

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

diff --git a/tests/pos/i6003.scala b/tests/pos/i6003.scala
new file mode 100644
index 000000000000..6a9c105af075
--- /dev/null
+++ b/tests/pos/i6003.scala
@@ -0,0 +1,12 @@
+object Test {
+  opaque type T = String
+  object T {
+    def unwrap(t: T): String = t
+  }
+
+  opaque type U = String
+  type W = U
+  object U {
+    def unwrap(w: W): String = w: U
+  }
+}
\ No newline at end of file