Add a new mode InQuotePatternHoasArgs

Author: zeptometer

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

@@ -44,6 +44,8 @@ object Mode {
   /** Are we looking for cyclic references? */
   val CheckCyclic: Mode = newMode(5, "CheckCyclic")
 
+  val InQuotePatternHoasArgs: Mode = newMode(6, "InQuotePatternHoasArgs")
+
   /** We are in a pattern alternative */
   val InPatternAlternative: Mode = newMode(7, "InPatternAlternative")
 

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

@@ -107,12 +107,14 @@ trait QuotesAndSplices {
     if isFullyDefined(pt, ForceDegree.flipBottom) then
       def patternOuterContext(ctx: Context): Context =
         if (ctx.mode.is(Mode.QuotedPattern)) patternOuterContext(ctx.outer) else ctx
-      val typedArgs = tree.args.map {
-        case arg: untpd.Ident =>
-          withoutMode(Mode.ImplicitsEnabled)(typedExpr(arg))
-        case arg =>
-          report.error("Open pattern expected an identifier", arg.srcPos)
-          EmptyTree
+      val typedArgs = withMode(Mode.InQuotePatternHoasArgs) {
+        tree.args.map {
+          case arg: untpd.Ident =>
+            typedExpr(arg)
+          case arg =>
+            report.error("Open pattern expected an identifier", arg.srcPos)
+            EmptyTree
+        }
       }
       for arg <- typedArgs if arg.symbol.is(Mutable) do // TODO support these patterns. Possibly using scala.quoted.util.Var
         report.error("References to `var`s cannot be used in higher-order pattern", arg.srcPos)

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

@@ -4058,9 +4058,10 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
       wtp match {
         case wtp: ExprType =>
           readaptSimplified(tree.withType(wtp.resultType))
-        case wtp: MethodType if wtp.isImplicitMethod &&
-          ({ resMatch = constrainResult(tree.symbol, wtp, sharpenedPt); resMatch } || !functionExpected) &&
-          ((resMatch && !ctx.mode.is(Mode.QuotedPattern)) || !resMatch) =>
+        case wtp: MethodType
+          if wtp.isImplicitMethod
+          && ({ resMatch = constrainResult(tree.symbol, wtp, sharpenedPt); resMatch} || !functionExpected)
+          && !ctx.mode.is(Mode.InQuotePatternHoasArgs) =>
           if (resMatch || ctx.mode.is(Mode.ImplicitsEnabled))
             adaptNoArgsImplicitMethod(wtp)
           else