Revert quadratic blowup on mapping AnnotatedType

dwijnand · dwijnand · commit fd61bf285c96 · 2022-07-05T18:35:59.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala b/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
@@ -59,7 +59,7 @@ object TypeTestsCasts {
       def apply(tp: Type) = tp match {
         case tref: TypeRef if tref.typeSymbol.isPatternBound =>
           WildcardType
-        case tp if tp.hasAnnotation(defn.UncheckedAnnot) =>
+        case AnnotatedType(_, annot) if annot.symbol == defn.UncheckedAnnot =>
           WildcardType
         case _ => mapOver(tp)
       }

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ object TypeTestsCasts {`
`59`	`59`	`def apply(tp: Type) = tp match {`
`60`	`60`	`case tref: TypeRef if tref.typeSymbol.isPatternBound =>`
`61`	`61`	`WildcardType`
`62`		`- case tp if tp.hasAnnotation(defn.UncheckedAnnot) =>`
	`62`	`+ case AnnotatedType(_, annot) if annot.symbol == defn.UncheckedAnnot =>`
`63`	`63`	`WildcardType`
`64`	`64`	`case _ => mapOver(tp)`
`65`	`65`	`}`