Propagate type args param bounds proto when in quoted pattern

Author: nicolasstucki

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

@@ -1389,8 +1389,10 @@ class Typer extends Namer
         def typedArg(arg: untpd.Tree, tparam: ParamInfo) = {
           def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe.appliedTo(tparams.map(_ => TypeBounds.empty)))
           val (desugaredArg, argPt) =
-            if (ctx.mode is Mode.Pattern)
+            if ctx.mode.is(Mode.Pattern) then
               (if (untpd.isVarPattern(arg)) desugar.patternVar(arg) else arg, tparamBounds)
+            else if ctx.mode.is(Mode.QuotedPattern) then
+              (arg, tparamBounds)
             else
               (arg, WildcardType)
           if (tpt1.symbol.isClass)
@@ -3030,7 +3032,7 @@ class Typer extends Namer
               tree.tpe.EtaExpand(tp.typeParamSymbols)
           tree.withType(tp1)
         }
-      if ((ctx.mode is Mode.Pattern) || tree1.tpe <:< pt) tree1
+      if (ctx.mode.is(Mode.Pattern) || ctx.mode.is(Mode.QuotedPattern) || tree1.tpe <:< pt) tree1
       else err.typeMismatch(tree1, pt)
     }
 

tests/neg/i7264d.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+class Foo {
+  def f[T2: Type](e: Expr[T2])(given QuoteContext) = e match {
+    case '{ $x: *:[Int, Any] } => // error: Type argument Any does not conform to upper bound Tuple
+
+  }
+}