Use InferredTypeTree for @unchecked match selectors

odersky · odersky · commit 0a8f76315717 · 2023-07-21T15:42:52.000+02:00
Without this, we get stray capture sets in match selectors if the match
is not exhaustive.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1829,7 +1829,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                 // TODO: move the check above to patternMatcher phase
                 val uncheckedTpe = AnnotatedType(sel.tpe.widen, Annotation(defn.UncheckedAnnot, tree.selector.span))
                 tpd.cpy.Match(result)(
-                  selector = tpd.Typed(sel, tpd.TypeTree(uncheckedTpe)),
+                  selector = tpd.Typed(sel, new tpd.InferredTypeTree().withType(uncheckedTpe)),
                   cases = result.cases
                 )
               case _ =>

Original file line number	Diff line number	Diff line change
`@@ -1829,7 +1829,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer`
`1829`	`1829`	`// TODO: move the check above to patternMatcher phase`
`1830`	`1830`	`val uncheckedTpe = AnnotatedType(sel.tpe.widen, Annotation(defn.UncheckedAnnot, tree.selector.span))`
`1831`	`1831`	`tpd.cpy.Match(result)(`
`1832`		`- selector = tpd.Typed(sel, tpd.TypeTree(uncheckedTpe)),`
	`1832`	`+ selector = tpd.Typed(sel, new tpd.InferredTypeTree().withType(uncheckedTpe)),`
`1833`	`1833`	`cases = result.cases`
`1834`	`1834`	`)`
`1835`	`1835`	`case _ =>`