From c7648462e71437da4ed1e75c17b97961dd6e6f06 Mon Sep 17 00:00:00 2001
From: oronpo <oron.port@cornell.edu>
Date: Fri, 8 Oct 2021 14:07:31 -0400
Subject: [PATCH] Add regression test for #13120

---
 tests/pos/i13120/Foo.scala       | 8 ++++++++
 tests/pos/i13120/container.scala | 3 +++
 2 files changed, 11 insertions(+)
 create mode 100644 tests/pos/i13120/Foo.scala
 create mode 100644 tests/pos/i13120/container.scala

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