Align typer and rechecker for Labelled and Bind trees

There was a subtle difference which causeed the stdlib tests to crash under -Xprint:cc

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3590,7 +3590,7 @@ object Types {
 
   def expectValueTypeOrWildcard(tp: Type, where: => String)(using Context): Unit =
     if !tp.isValueTypeOrWildcard then
-      assert(!ctx.isAfterTyper, where) // we check correct kinds at PostTyper
+      assert(!ctx.isAfterTyper, s"$tp in $where") // we check correct kinds at PostTyper
       throw TypeError(em"$tp is not a value type, cannot be used $where")
 
   /** An extractor object to pattern match against a nullable union.

compiler/src/dotty/tools/dotc/transform/Recheck.scala

@@ -224,14 +224,13 @@ abstract class Recheck extends Phase, SymTransformer:
     def recheckBind(tree: Bind, pt: Type)(using Context): Type = tree match
       case Bind(name, body) =>
         recheck(body, pt)
-        val sym = tree.symbol
-        if sym.isType then sym.typeRef else sym.info
+        tree.symbol.namedType
 
     def recheckLabeled(tree: Labeled, pt: Type)(using Context): Type = tree match
       case Labeled(bind, expr) =>
-        val bindType = recheck(bind, pt)
+        val (bindType: NamedType) = recheck(bind, pt): @unchecked
         val exprType = recheck(expr, defn.UnitType)
-        bindType
+        bindType.symbol.info
 
     def recheckValDef(tree: ValDef, sym: Symbol)(using Context): Unit =
       if !tree.rhs.isEmpty then recheck(tree.rhs, sym.info)