Align rechecking ValDefs and DefDefs

Makes things more regular and allows for a non-identity mapping between declared types and infos of vals.
scala · Sep 20, 2023 · 66546df · 66546df
1 parent c31c24d
commit 66546df
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/Recheck.scala b/compiler/src/dotty/tools/dotc/transform/Recheck.scala
@@ -256,8 +256,9 @@ abstract class Recheck extends Phase, SymTransformer:
         bindType.symbol.info
 
     def recheckValDef(tree: ValDef, sym: Symbol)(using Context): Type =
-      if tree.rhs.isEmpty then sym.info
-      else recheck(tree.rhs, sym.info)
+      val resType = recheck(tree.tpt)
+      if tree.rhs.isEmpty then resType
+      else recheck(tree.rhs, resType)
 
     def recheckDefDef(tree: DefDef, sym: Symbol)(using Context): Type =
       inContext(linkConstructorParams(sym).withOwner(sym)):