Polishings

Author: odersky

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

@@ -88,19 +88,18 @@ object ProtoTypes {
       val savedConstraint = ctx.typerState.constraint
       val res = pt.widenExpr match {
         case pt: FunProto =>
-          mt match {
+          mt match
             case mt: MethodType =>
               constrainResult(resultTypeApprox(mt), pt.resultType)
               && {
-                if pt.constrainResultDeep then
-                  if mt.isImplicitMethod == (pt.applyKind == ApplyKind.Using) then
-                    val tpargs = pt.args.lazyZip(mt.paramInfos).map(pt.typedArg)
-                    tpargs.tpes.corresponds(mt.paramInfos)(_ <:< _)
-                  else true
+                if pt.constrainResultDeep
+                   && mt.isImplicitMethod == (pt.applyKind == ApplyKind.Using)
+                then
+                  val tpargs = pt.args.lazyZip(mt.paramInfos).map(pt.typedArg)
+                  tpargs.tpes.corresponds(mt.paramInfos)(_ <:< _)
                 else true
               }
             case _ => true
-          }
         case _: ValueTypeOrProto if !disregardProto(pt) =>
           necessarilyCompatible(mt, pt)
         case pt: WildcardType if pt.optBounds.exists =>
@@ -308,7 +307,7 @@ object ProtoTypes {
    *  @param  state     The state object to use for tracking the changes to this prototype
    *  @param  constrainResultDeep
    *                    A flag to indicate that constrainResult on this prototype
-   *                    should typechec and compare the arguments.
+   *                    should typecheck and compare the arguments.
    */
   case class FunProto(args: List[untpd.Tree], resType: Type)(
     typer: Typer,