Check quoted patterns

nicolasstucki · nicolasstucki · commit 7373bc3d2aff · 2023-06-12T08:08:40.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala
@@ -447,6 +447,7 @@ trait QuotesAndSplices {
       proto = quoteClass.typeRef.appliedTo(replaceBindings(quoted1.tpe)))
 
     val decoded = QuotePatterns.decode(res)
+    decoded.foreach(QuotePatterns.checkPattern)
     val encoded = decoded.map(QuotePatterns.encode).getOrElse(res)
 
     res
