Add test

aluneed · Jun 9, 2021 · 629f57c · 629f57c
1 parent c965315
commit 629f57c
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/tests/init/neg/i12544.scala b/tests/init/neg/i12544.scala
@@ -0,0 +1,19 @@
+enum Enum:
+  case Case
+  case Case2(x: Int)
+
+def g(b: Enum.B): Int = b.foo()
+
+object Enum:
+  object nested:
+    val a: Enum = Case
+
+  val b: Enum = f(nested.a)
+
+  def f(e: Enum): Enum = e
+
+  class B() { def foo() = n + 1 }
+  g(new B())                       // error
+  val n: Int = 10
+
+@main def main(): Unit = println(Enum.b)