Drop ConstrainResultDeep (1)

Author: odersky

compiler/src/dotty/tools/dotc/typer/ImportInfo.scala

@@ -12,7 +12,6 @@ import Implicits.RenamedImplicitRef
 import config.SourceVersion
 import StdNames.nme
 import printing.Texts.Text
-import ProtoTypes.NoViewsAllowed.normalizedCompatible
 import NameKinds.QualifiedName
 import Decorators._
 

compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala

@@ -55,7 +55,7 @@ object ProtoTypes {
         val normTp = normalize(tp, pt)
         isCompatible(normTp, pt) || pt.isRef(defn.UnitClass) && normTp.isParameterless
 
-      if keepConstraint || ctx.mode.is(Mode.ConstrainResultDeep) then
+      if keepConstraint then
         tp.widenSingleton match
           case poly: PolyType =>
             val newctx = ctx.fresh.setNewTyperState()