Handle exception

Author: liufengyun

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

@@ -49,11 +49,16 @@ class Checker extends MiniPhase {
       import semantic._
       val tpl = tree.rhs.asInstanceOf[Template]
       val thisRef = ThisRef(cls)
+
       val obj = Objekt(cls, fields = mutable.Map.empty, outers = mutable.Map(cls -> Hot))
+      heap.update(thisRef, obj)
+
+      val paramValues = tpl.constr.termParamss.flatten.map(param => param.symbol -> Hot).toMap
+
       given Promoted = Promoted.empty
       given Trace = Trace.empty
-      given Env = Env.empty
-      heap.update(thisRef, obj)
+      given Env = Env(paramValues)
+
       val res = eval(tpl, thisRef, cls)
       res.errors.foreach(_.issue)
     }

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

@@ -73,6 +73,7 @@ class Semantic {
 
     def withSource(source: Tree): Value =
       if mySource.isEmpty then attachSource(source)
+      else if this == Hot || this == Cold then this
       else {
         val value2 = this.clone.asInstanceOf[Value]
         value2.mySource = source