Merge pull request #15314 from griggt/fix-broken-rewrite

Fix rewrite for type-ascribed refutable pattern binding

Author: smarter

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

@@ -1598,7 +1598,8 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
              | _: untpd.Match
              | _: untpd.ForYield
              | _: untpd.ParsedTry
-             | _: untpd.Try => Some("(", ")")
+             | _: untpd.Try
+             | _: untpd.Typed => Some("(", ")")
           case _: untpd.Block => Some("{", "}")
           case _ => None
 

tests/rewrites/refutable-pattern-bindings.check

@@ -23,3 +23,5 @@ val j :: k =
   (for
     case (x: String) <- xs
   yield x): @unchecked
+
+val (_: Int | _: AnyRef) = (??? : AnyRef): @unchecked

tests/rewrites/refutable-pattern-bindings.scala

@@ -23,3 +23,5 @@ val j :: k =
   for
     (x: String) <- xs
   yield x
+
+val (_: Int | _: AnyRef) = ??? : AnyRef