Fix #8600: Match trough type ascriptions

Author: nicolasstucki

library/src/scala/internal/quoted/Matcher.scala

@@ -175,12 +175,12 @@ private[quoted] object Matcher {
           case (Literal(constant1), Literal(constant2)) if constant1 == constant2 =>
             matched
 
-          case (Typed(expr1, tpt1), Typed(expr2, tpt2)) =>
-            expr1 =?= expr2 && tpt1 =?= tpt2
-
           case (scrutinee, Typed(expr2, _)) =>
             scrutinee =?= expr2
 
+          case (Typed(expr1, _), pattern) =>
+            expr1 =?= pattern
+
           case (Ident(_), Ident(_)) if scrutinee.symbol == pattern.symbol || summon[Env].get(scrutinee.symbol).contains(pattern.symbol) =>
             matched
 

tests/run-macros/quote-matcher-runtime.check

@@ -8,7 +8,7 @@ Result: None
 
 Scrutinee: (1: scala.Int)
 Pattern: 1
-Result: None
+Result: Some(List())
 
 Scrutinee: (1: scala.Int)
 Pattern: (1: scala.Int)