We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Typable
TypeTest
1 parent e8d748e commit 65fe221Copy full SHA for 65fe221
compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -802,7 +802,7 @@ class Typer extends Namer
802
.orElse(withTag(defn.ClassTagClass.typeRef.appliedTo(tref)))
803
.getOrElse(tree)
804
if tag.symbol.owner == defn.ClassTagClass && config.Feature.sourceVersion.isAtLeast(config.SourceVersion.`3.1`) then
805
- report.warning("Use of ClassTag for type testing may be unsound. Consider using `reflect.Typable` instead.", tree.srcPos)
+ report.warning("Use of `scala.reflect.ClassTag` for type testing may be unsound. Consider using `scala.reflect.TypeTest` instead.", tree.srcPos)
806
tag
807
case _ => tree
808
}
0 commit comments