Merge pull request #2428 from dotty-staging/error-on-phantom-in-value-class

felixmulder · web-flow · commit b0465006a7e9 · 2017-05-15T10:48:18.000+02:00
Error on value class with phantom value
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -464,6 +464,8 @@ object Checking {
           case List(param) =>
             if (param.is(Mutable))
               ctx.error("value class parameter must not be a var", param.pos)
+            if (param.info.isPhantom)
+              ctx.error("value class parameter must not be phantom", param.pos)
           case _ =>
             ctx.error("value class needs to have exactly one val parameter", clazz.pos)
         }

Original file line number	Diff line number	Diff line change
`@@ -464,6 +464,8 @@ object Checking {`
`464`	`464`	`case List(param) =>`
`465`	`465`	`if (param.is(Mutable))`
`466`	`466`	`ctx.error("value class parameter must not be a var", param.pos)`
	`467`	`+ if (param.info.isPhantom)`
	`468`	`+ ctx.error("value class parameter must not be phantom", param.pos)`
`467`	`469`	`case _ =>`
`468`	`470`	`ctx.error("value class needs to have exactly one val parameter", clazz.pos)`
`469`	`471`	`}`