Fix crash: impossible to construct super calls for leaked objects

liufengyun · liufengyun · commit 390691e7e297 · 2021-05-21T17:56:48.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Semantic.scala b/compiler/src/dotty/tools/dotc/transform/init/Semantic.scala
@@ -372,7 +372,7 @@ class Semantic {
       buffer.nonEmpty || methods.exists { denot =>
         val m = denot.symbol
         if !m.isConstructor && m.hasSource then
-          val res = warm.call(m, superType = m.owner.typeRef, source = source)
+          val res = warm.call(m, superType = NoType, source = source)
           buffer ++= res.ensureHot(msg, source).errors
         buffer.nonEmpty
       }

Original file line number	Diff line number	Diff line change
`@@ -372,7 +372,7 @@ class Semantic {`
`372`	`372`	`buffer.nonEmpty \|\| methods.exists { denot =>`
`373`	`373`	`val m = denot.symbol`
`374`	`374`	`if !m.isConstructor && m.hasSource then`
`375`		`- val res = warm.call(m, superType = m.owner.typeRef, source = source)`
	`375`	`+ val res = warm.call(m, superType = NoType, source = source)`
`376`	`376`	`buffer ++= res.ensureHot(msg, source).errors`
`377`	`377`	`buffer.nonEmpty`
`378`	`378`	`}`