Fix #8600: Match trough type ascriptions

Author: nicolasstucki

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

@@ -181,6 +181,9 @@ private[quoted] object Matcher {
  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)