Merge pull request #4898 from dotty-staging/fix-reporting

allanrenucci · web-flow · commit a4a611c90fb0 · 2018-08-06T16:10:38.000+02:00
Fix printing of type in type test warnings
diff --git a/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala b/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
@@ -270,7 +270,7 @@ object TypeTestsCasts {
         if (sym.isTypeTest) {
           val argType = tree.args.head.tpe
           if (!checkable(expr.tpe, argType, tree.pos))
-            ctx.warning(s"the type test for $argType cannot be checked at runtime", tree.pos)
+            ctx.warning(i"the type test for $argType cannot be checked at runtime", tree.pos)
           transformTypeTest(expr, tree.args.head.tpe, flagUnrelated = true)
         }
         else if (sym eq defn.Any_asInstanceOf)

Original file line number	Diff line number	Diff line change
`@@ -270,7 +270,7 @@ object TypeTestsCasts {`
`270`	`270`	`if (sym.isTypeTest) {`
`271`	`271`	`val argType = tree.args.head.tpe`
`272`	`272`	`if (!checkable(expr.tpe, argType, tree.pos))`
`273`		`- ctx.warning(s"the type test for $argType cannot be checked at runtime", tree.pos)`
	`273`	`+ ctx.warning(i"the type test for $argType cannot be checked at runtime", tree.pos)`
`274`	`274`	`transformTypeTest(expr, tree.args.head.tpe, flagUnrelated = true)`
`275`	`275`	`}`
`276`	`276`	`else if (sym eq defn.Any_asInstanceOf)`