Inhibit typer to insert contextual parameters into hoas pattern argum…

…ents
scala · Jun 25, 2023 · fe04dae · fe04dae
1 parent 9830a3e
commit fe04dae
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala
@@ -109,7 +109,7 @@ trait QuotesAndSplices {
         if (ctx.mode.is(Mode.QuotedPattern)) patternOuterContext(ctx.outer) else ctx
       val typedArgs = tree.args.map {
         case arg: untpd.Ident =>
-          typedExpr(arg)
+          withoutMode(Mode.ImplicitsEnabled)(typedExpr(arg))
         case arg =>
           report.error("Open pattern expected an identifier", arg.srcPos)
           EmptyTree

diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -4055,12 +4055,18 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
         case _: SingletonType | _: FunOrPolyProto => false
         case _ => true
       var resMatch: Boolean = false
+      // println(i"adaptNoArgs: tree = ${tree}")
+      // println(i"adaptNoArgs: ctx.mode = ${ctx.mode}")
+      // println(i"adaptNoArgs: ptNorm = ${ptNorm}")
+      // println(i"functionExpected = ${functionExpected}")
+      // println(i"needsEta = ${needsEta}")
       wtp match {
         case wtp: ExprType =>
           readaptSimplified(tree.withType(wtp.resultType))
         case wtp: MethodType if wtp.isImplicitMethod &&
+          ctx.mode.is(Mode.ImplicitsEnabled) &&
           ({ resMatch = constrainResult(tree.symbol, wtp, sharpenedPt); resMatch } || !functionExpected) =>
-          if (resMatch || ctx.mode.is(Mode.ImplicitsEnabled))
+          if (resMatch)
             adaptNoArgsImplicitMethod(wtp)
           else
             // Don't proceed with implicit search if result type cannot match - the search