handle unchecked annotations

nox213 · nox213 · commit 18370f55b21c · 2025-11-07T18:11:29.000+09:00
diff --git a/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala b/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
@@ -144,7 +144,7 @@ object TypeTestsCasts {
           case _                   => recur(defn.AnyType, tpT)
         }
       case tpe @ AppliedType(tycon, targs) if !trustTypeApplication =>
-        val abstractArgs = targs.filter(isAbstract)
+        val abstractArgs = targs.filter(arg => isAbstract(arg) && !arg.isInstanceOf[WildcardType] )
         if abstractArgs.nonEmpty && !tycon.classSymbol.is(Final) then
           i"type arguments $abstractArgs refer to abstract types,"
         else

Original file line number	Diff line number	Diff line change
`@@ -144,7 +144,7 @@ object TypeTestsCasts {`
`144`	`144`	`case _ => recur(defn.AnyType, tpT)`
`145`	`145`	`}`
`146`	`146`	`case tpe @ AppliedType(tycon, targs) if !trustTypeApplication =>`
`147`		`- val abstractArgs = targs.filter(isAbstract)`
	`147`	`+ val abstractArgs = targs.filter(arg => isAbstract(arg) && !arg.isInstanceOf[WildcardType] )`
`148`	`148`	`if abstractArgs.nonEmpty && !tycon.classSymbol.is(Final) then`
`149`	`149`	`i"type arguments $abstractArgs refer to abstract types,"`
`150`	`150`	`else`