Merge pull request #13720 from soronpo/i13120_test

smarter · web-flow · commit 1f3488820fb3 · 2021-10-08T21:10:37.000+02:00
Add regression test for #13120
diff --git a/tests/pos/i13120/Foo.scala b/tests/pos/i13120/Foo.scala
@@ -0,0 +1,8 @@
+import container.ir
+
+opaque type Foo = ir.Foo
+
+object Foo:
+  def bar(foo: Foo): Unit = {}
+
+export Foo.*
diff --git a/tests/pos/i13120/container.scala b/tests/pos/i13120/container.scala
@@ -0,0 +1,3 @@
+object container:
+  object ir:
+    sealed trait Foo
