Merge pull request #10770 from dotty-staging/update-Typable-to-TypeTest

liufengyun · web-flow · commit d85cc747dde1 · 2020-12-13T14:33:27.000+01:00
Update `Typable` to `TypeTest`
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -802,7 +802,7 @@ class Typer extends Namer
         .orElse(withTag(defn.ClassTagClass.typeRef.appliedTo(tref)))
         .getOrElse(tree)
       if tag.symbol.owner == defn.ClassTagClass && config.Feature.sourceVersion.isAtLeast(config.SourceVersion.`3.1`) then
-        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)
       tag
     case _ => tree
   }

Original file line number	Diff line number	Diff line change
`@@ -802,7 +802,7 @@ class Typer extends Namer`
`802`	`802`	`.orElse(withTag(defn.ClassTagClass.typeRef.appliedTo(tref)))`
`803`	`803`	`.getOrElse(tree)`
`804`	`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)
	`805`	+ report.warning("Use of `scala.reflect.ClassTag` for type testing may be unsound. Consider using `scala.reflect.TypeTest` instead.", tree.srcPos)
`806`	`806`	`tag`
`807`	`807`	`case _ => tree`
`808`	`808`	`}`