Merge pull request #15695 from dotty-staging/zero-init-warnings

Add two tests
scala · Jul 18, 2022 · 67f11ff · 67f11ff
2 parents 776bb11 + f7986c1
commit 67f11ff
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/init/neg/promotion-segment.scala b/tests/init/neg/promotion-segment.scala
@@ -0,0 +1,12 @@
+class Outer:
+  trait A:
+    def foo() = println(m)
+
+  trait B extends A
+
+  class C extends B
+
+  def bar(c: C) = c.foo()
+
+  bar(new C)  // error
+  val m = 10
diff --git a/tests/init/neg/promotion-segment2.scala b/tests/init/neg/promotion-segment2.scala
@@ -0,0 +1,12 @@
+trait A(o: Outer):
+    def foo() = println(o.m)
+
+class Outer:
+  trait B extends A
+
+  class C extends B with A(this)
+
+  def bar(c: C) = c.foo()
+
+  bar(new C) // error
+  val m = 10