Use AllowLambdaWildcardApply mode in ApproximatingTypeMap

Co-Authored-By: Guillaume Martres <63430+smarter@users.noreply.github.com>
Co-Authored-By: Dale Wijnand <dale.wijnand@gmail.com>
Co-Authored-By: Decel <8268812+Decel@users.noreply.github.com>

Author: 4 people

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

@@ -6045,7 +6045,7 @@ object Types {
         case _ =>
           if args.exists(isRange) then
             if variance > 0 then
-              tp.derivedAppliedType(tycon, args.map(rangeToBounds)) match
+              tp.derivedAppliedType(tycon, args.map(rangeToBounds))(using ctx.addMode(Mode.AllowLambdaWildcardApply)) match
                 case tp1: AppliedType if tp1.isUnreducibleWild && ctx.phase != checkCapturesPhase =>
                   // don't infer a type that would trigger an error later in
                   // Checking.checkAppliedType; fall through to default handling instead