reverting Desugar to check community build effects

Author: soronpo

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -306,49 +306,14 @@ object desugar {
         vparam => toDefParam(vparam, keepAnnotations = true, keepDefault = false)
       }
 
-    def ignoreErrorsAndRun[R](op: => R): R =
-      val savedState = ctx.typerState.snapshot()
-      val savedReporter = ctx.reporter
-      ctx.typerState.setReporter(Reporter.NoReporter)
-      val ret = op
-      ctx.typerState.setReporter(savedReporter)
-      ctx.typerState.resetTo(savedState)
-      ret
-
-    // gets arguments should be considered precise
-    val paramPrecises: List[Boolean] =
-      // indication for the type parameters preciseness
-      val preciseMap : Map[TypeName, Boolean] = ignoreErrorsAndRun {
-        meth.leadingTypeParams.map(t =>
-          (t.name, t.mods.annotations.exists {a =>
-            val typedAnnot = ctx.typer.typedExpr(a)
-            if (typedAnnot.denot == NoDenotation) false
-            else typedAnnot.symbol.owner == defn.PreciseAnnot
-          })
-        ).toMap
-      }
-      // mapping type parameters preciseness onto term parameter preciseness
-      meth.termParamss.view.flatten.map(p => p.tpt).map {
-        case Ident(n) => preciseMap.getOrElse(n.asTypeName, false)
-        case _ => false
-      }.toList
-
     def defaultGetters(paramss: List[ParamClause], n: Int): List[DefDef] = paramss match
       case ValDefs(vparam :: vparams) :: paramss1 =>
         def defaultGetter: DefDef =
-          val (rhs, tpt) =
-            // if the parameter is precise, then we add explicit return type for the
-            // definition to keep the precise type after precise typing.
-            if paramPrecises(n) then
-              val rhsTyped = withMode(Mode.Precise){ctx.typer.typedExpr(vparam.rhs)}
-              (rhsTyped, TypeTree(rhsTyped.tpe))
-            // otherwise, the desugaring is unchanged from the status quo
-            else (vparam.rhs, TypeTree())
           DefDef(
             name = DefaultGetterName(meth.name, n),
             paramss = getterParamss(n),
-            tpt = tpt,
-            rhs = rhs
+            tpt = TypeTree(),
+            rhs = vparam.rhs
           )
           .withMods(Modifiers(
             meth.mods.flags & (AccessFlags | Synthetic) | (vparam.mods.flags & Inline),