Add test files and make tests working

Author: zeptometer

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

@@ -4064,9 +4064,9 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
         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)
+          ({ resMatch = constrainResult(tree.symbol, wtp, sharpenedPt); resMatch } || !functionExpected) &&
+          ((resMatch && !ctx.mode.is(Mode.QuotedPattern)) || !resMatch) =>
+          if (resMatch || ctx.mode.is(Mode.ImplicitsEnabled))
             adaptNoArgsImplicitMethod(wtp)
           else
             // Don't proceed with implicit search if result type cannot match - the search

tests/run-macros/i17905.check

@@ -0,0 +1,2 @@
+case 1: [3rd case] another_given outside
+case 2: [3rd case] given outside

tests/run-macros/i17905/Macro_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted.*
+
+inline def testCtxParam(inline body: Any) = ${ testCtxParamImpl('body) }
+def testCtxParamImpl(body: Expr[Any])(using Quotes): Expr[String] =
+  body match
+    case '{ given i: String = "given"; def g(using s: String) = "placeholder"; $a(g, i): String } =>
+      '{ $a(((s: String) ?=> s"[3rd case] ${s}"), "another_given") }
+    case '{ def g(using s: String) = "placeholder"; $a(g): String } =>
+      '{ $a((s: String) ?=> s"[3rd case] ${s}") }
+    case _ => Expr("not matched")

tests/run-macros/i17905/Test_2.scala

@@ -0,0 +1,4 @@
+@main def Test: Unit =
+  println("case 1: " + testCtxParam { given String = "given"; def f(using t: String) = "placeholder"; f + " outside" })
+  given String = "given"
+  println("case 2: " + testCtxParam { def f(using t: String) = "placeholder"; f + " outside" })