WIP: hotfix

Author: zeptometer

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

@@ -109,7 +109,10 @@ trait QuotesAndSplices {
         if (ctx.mode.is(Mode.QuotedPattern)) patternOuterContext(ctx.outer) else ctx
       val typedArgs = tree.args.map {
         case arg: untpd.Ident =>
-          typedExpr(arg)
+          val tg = withoutMode(Mode.ImplicitsEnabled)(typedExpr(arg))
+          // println(i"tg = ${tg}")
+          // println(i"ctx.mode = ${ctx.mode}")
+          tg
         case arg =>
           report.error("Open pattern expected an identifier", arg.srcPos)
           EmptyTree

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

@@ -4055,12 +4055,17 @@ 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 &&
+        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