diff --git a/tests/pos/i13120/Foo.scala b/tests/pos/i13120/Foo.scala
new file mode 100644
index 000000000000..741babc6aa13
--- /dev/null
+++ 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.*
\ No newline at end of file
diff --git a/tests/pos/i13120/container.scala b/tests/pos/i13120/container.scala
new file mode 100644
index 000000000000..305781cce555
--- /dev/null
+++ b/tests/pos/i13120/container.scala
@@ -0,0 +1,3 @@
+object container:
+  object ir:
+    sealed trait Foo