Disallow Phantom types in casts

Author: nicolasstucki

compiler/src/dotty/tools/dotc/Compiler.scala

@@ -49,6 +49,7 @@ class Compiler {
       List(new FirstTransform,      // Some transformations to put trees into a canonical form
            new CheckReentrant),     // Internal use only: Check that compiled program has no data races involving global vars
       List(new CheckStatic,         // Check restrictions that apply to @static members
+           new CheckPhantomCast,    // Checks that no Phantom types in are in casts
            new ElimRepeated,        // Rewrite vararg parameters and arguments
            new RefChecks,           // Various checks mostly related to abstract members and overriding
            new NormalizeFlags,      // Rewrite some definition flags

compiler/src/dotty/tools/dotc/transform/CheckPhantomCast.scala

@@ -0,0 +1,37 @@
+package dotty.tools.dotc
+package transform
+
+import core._
+import dotty.tools.dotc.transform.TreeTransforms.{MiniPhaseTransform, TransformerInfo}
+import Types._
+import Contexts.Context
+import Symbols._
+import Decorators._
+import dotty.tools.dotc.ast.tpd
+
+
+/** A no-op transform that checks whether the compiled sources have no Phantom types in casts */
+class CheckPhantomCast extends MiniPhaseTransform { thisTransformer =>
+
+  override def phaseName = "checkPhantomCast"
+
+  override def transformTypeApply(tree: tpd.TypeApply)(implicit ctx: Context, info: TransformerInfo): tpd.Tree = {
+    if (tree.fun.symbol eq defn.Any_asInstanceOf)
+      checkNoPhantoms(tree.args.head)
+    tree
+  }
+
+  private def checkNoPhantoms(tpTree: tpd.Tree)(implicit ctx: Context): Unit = {
+    val checker = new TypeMap {
+      override def apply(tp: Type): Type = {
+        if (tp.isPhantom) {
+          ctx.error("Cannot cast type containing a phantom type", tpTree.pos)
+          tp
+        } else mapOver(tp)
+      }
+    }
+
+    checker(tpTree.tpe)
+  }
+
+}

tests/neg/phantom-class-type-members.scala

@@ -0,0 +1,37 @@
+import Boo._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val a = new Bar()
+    foo(a.asInstanceOf[Foo{type T = BooNothing}].y)  // error
+
+    val b = new Baz
+    b.asInstanceOf[Foo{type T = BooAny}].z(any)  // error
+  }
+
+  def foo(x: BooNothing) = println("foo")
+
+}
+
+abstract class Foo {
+  type T <: BooAny
+  def y: T
+  def z(z: T) = ()
+}
+
+class Bar {
+  type T = BooAny
+  def y: T = any
+  def z(z: T) = ()
+}
+
+class Baz {
+  type T = BooNothing
+  def z(z: T) = ()
+}
+
+object Boo extends Phantom {
+  type BooAny = this.Any
+  type BooNothing = this.Nothing
+  def any: BooAny = assume
+}

tests/neg/phantom-class-type-parameters.scala

@@ -0,0 +1,26 @@
+import Boo._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val a = new Foo[BooAny](any)
+    foo(a.asInstanceOf[Foo[BooNothing]].x) // error
+    foo(a.asInstanceOf[Foo[BooNothing]].y) // error
+
+    val b = new Foo[BooNothing](a.asInstanceOf[Foo[BooNothing]].x) // error
+    b.asInstanceOf[Foo[BooAny]].z(any) // error
+  }
+
+  def foo(x: BooNothing) = println("foo")
+
+}
+
+class Foo[T <: BooAny](val x: T) {
+  def y: T = x
+  def z(z: T) = ()
+}
+
+object Boo extends Phantom {
+  type BooAny = this.Any
+  type BooNothing = this.Nothing
+  def any: BooAny = assume
+}