Merge pull request #8684 from dotty-staging/fix-#8600

Fix #8600: Match trough type ascription

Author: nicolasstucki

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

@@ -182,8 +182,8 @@ 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 (Typed(expr1, _), pattern) =>
+            expr1 =?= pattern
 
           case (scrutinee, Typed(expr2, _)) =>
             scrutinee =?= expr2

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)