Fix typo

odersky · odersky · commit b2c2a86d0838 · 2020-12-14T14:05:06.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -777,7 +777,7 @@ class Typer extends Namer
           }
         val matched = ascription(tpt1, isWildcard = true)
         // special case for an abstract type that comes with a class tag
-        val result = tryWithTypeTest(ascribed, pt)
+        val result = tryWithTypeTest(matched, pt)
         if (result eq matched) && pt != defn.ImplicitScrutineeTypeRef then
           // no check for matchability if TestTest was applied
           checkMatchable(pt, tree.srcPos, pattern = true)

Original file line number	Diff line number	Diff line change
`@@ -777,7 +777,7 @@ class Typer extends Namer`
`777`	`777`	`}`
`778`	`778`	`val matched = ascription(tpt1, isWildcard = true)`
`779`	`779`	`// special case for an abstract type that comes with a class tag`
`780`		`- val result = tryWithTypeTest(ascribed, pt)`
	`780`	`+ val result = tryWithTypeTest(matched, pt)`
`781`	`781`	`if (result eq matched) && pt != defn.ImplicitScrutineeTypeRef then`
`782`	`782`	`// no check for matchability if TestTest was applied`
`783`	`783`	`checkMatchable(pt, tree.srcPos, pattern = true)`