Add test

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Semantic.scala

@@ -1148,7 +1148,9 @@ object Semantic:
           params.forall(param => obj.field(param).isHot)
         }
 
-        // check invariant: subClassSegmentHot => isHotSegment
+        // Check invariant: subClassSegmentHot ==> isHotSegment
+        //
+        // This invariant holds because of the Scala/Java/JVM restriction that we cannot use `this` in super constructor calls.
         if subClassSegmentHot && !isHotSegment then
           report.error("[Internal error] Expect current segment to hot in promotion, current klass = " + klass.show +
               ", subclass = " + subClass.show + Trace.show, Trace.position)

tests/init/neg/super-resolution3.check

@@ -0,0 +1,58 @@
+-- Error: tests/init/neg/super-resolution3.scala:27:6 ------------------------------------------------------------------
+27 |  val n = 40 // error
+   |      ^
+   |      Access non-initialized value n. Calling trace:
+   |      -> class C extends A with M with N:	[ super-resolution3.scala:22 ]
+   |         ^
+   |      -> new Inner()	[ super-resolution3.scala:23 ]
+   |         ^^^^^^^^^^^
+   |      -> class Inner:	[ super-resolution3.scala:17 ]
+   |         ^
+   |      -> N.super[A].foo()	[ super-resolution3.scala:18 ]
+   |         ^^^^^^^^^^^^^^^^
+   |      -> def foo(): Int = n	[ super-resolution3.scala:3 ]
+   |                          ^
+-- Error: tests/init/neg/super-resolution3.scala:26:6 ------------------------------------------------------------------
+26 |  val m = 30 // error
+   |      ^
+   |      Access non-initialized value m. Calling trace:
+   |      -> class C extends A with M with N:	[ super-resolution3.scala:22 ]
+   |         ^
+   |      -> new Inner()	[ super-resolution3.scala:23 ]
+   |         ^^^^^^^^^^^
+   |      -> class Inner:	[ super-resolution3.scala:17 ]
+   |         ^
+   |      -> N.super.foo()	[ super-resolution3.scala:19 ]
+   |         ^^^^^^^^^^^^^
+   |      -> override def foo(): Int = a + super.foo()	[ super-resolution3.scala:11 ]
+   |                                       ^^^^^^^^^^^
+   |      -> def foo(): Int = m	[ super-resolution3.scala:7 ]
+   |                          ^
+-- Error: tests/init/neg/super-resolution3.scala:24:6 ------------------------------------------------------------------
+24 |  val a = 10 // error
+   |      ^
+   |      Access non-initialized value a. Calling trace:
+   |      -> class C extends A with M with N:	[ super-resolution3.scala:22 ]
+   |         ^
+   |      -> new Inner()	[ super-resolution3.scala:23 ]
+   |         ^^^^^^^^^^^
+   |      -> class Inner:	[ super-resolution3.scala:17 ]
+   |         ^
+   |      -> N.super.foo()	[ super-resolution3.scala:19 ]
+   |         ^^^^^^^^^^^^^
+   |      -> override def foo(): Int = a + super.foo()	[ super-resolution3.scala:11 ]
+   |                                   ^
+-- Error: tests/init/neg/super-resolution3.scala:25:6 ------------------------------------------------------------------
+25 |  val b = 20 // error
+   |      ^
+   |      Access non-initialized value b. Calling trace:
+   |      -> class C extends A with M with N:	[ super-resolution3.scala:22 ]
+   |         ^
+   |      -> new Inner()	[ super-resolution3.scala:23 ]
+   |         ^^^^^^^^^^^
+   |      -> class Inner:	[ super-resolution3.scala:17 ]
+   |         ^
+   |      -> foo()	[ super-resolution3.scala:20 ]
+   |         ^^^^^
+   |      -> override def foo(): Int = b * super.foo()	[ super-resolution3.scala:15 ]
+   |                                   ^

tests/init/neg/super-resolution3.scala

@@ -0,0 +1,27 @@
+abstract class A:
+  val n: Int
+  def foo(): Int = n
+
+trait B:
+  val m: Int
+  def foo(): Int = m
+
+trait M extends A with B:
+  val a: Int
+  override def foo(): Int = a + super.foo()
+
+trait N extends A with B:
+  val b: Int
+  override def foo(): Int = b * super.foo()
+
+  class Inner:
+    N.super[A].foo()
+    N.super.foo()
+    foo()
+
+class C extends A with M with N:
+  new Inner()
+  val a = 10 // error
+  val b = 20 // error
+  val m = 30 // error
+  val n = 40 // error