Merge pull request #2810 from xeno-by/topic/compile-time-only

@compileTimeOnly: moved to scala-library.jar, got some fixes

4 files changed, 128 insertions, 0 deletions

diff --git a/test/files/neg/compile-time-only-a.check b/test/files/neg/compile-time-only-a.check
new file mode 100644
index 0000000000..1c4c72171f
--- /dev/null
+++ b/test/files/neg/compile-time-only-a.check
@@ -0,0 +1,49 @@
+compile-time-only-a.scala:9: error: C3
+@compileTimeOnly("C3") case class C3(x: Int)
+                                  ^
+compile-time-only-a.scala:11: error: C4
+@compileTimeOnly("C4") case class C4(x: Int)
+                                  ^
+compile-time-only-a.scala:16: error: C5
+  implicit class C5(val x: Int) {
+                 ^
+compile-time-only-a.scala:28: error: C1
+  new C1()
+      ^
+compile-time-only-a.scala:32: error: C2
+  C2
+  ^
+compile-time-only-a.scala:34: error: C3
+  new C3(2)
+      ^
+compile-time-only-a.scala:37: error: C4
+  new C4(2)
+      ^
+compile-time-only-a.scala:41: error: C5
+  2.ext
+  ^
+compile-time-only-a.scala:42: error: C5
+  C5(2)
+  ^
+compile-time-only-a.scala:45: error: C6.x
+  val _ = c6.x
+             ^
+compile-time-only-a.scala:46: error: C6.foo
+  c6.foo
+     ^
+compile-time-only-a.scala:48: error: C6.y
+  c6.y = c6.y
+     ^
+compile-time-only-a.scala:48: error: C6.y
+  c6.y = c6.y
+            ^
+compile-time-only-a.scala:54: error: placebo
+@placebo
+ ^
+compile-time-only-a.scala:56: error: placebo
+  @placebo def x = (2: @placebo)
+   ^
+compile-time-only-a.scala:56: error: placebo
+  @placebo def x = (2: @placebo)
+                        ^
+16 errors found
diff --git a/test/files/neg/compile-time-only-a.scala b/test/files/neg/compile-time-only-a.scala
new file mode 100644
index 0000000000..43d36dfab1
--- /dev/null
+++ b/test/files/neg/compile-time-only-a.scala
@@ -0,0 +1,57 @@
+import scala.annotation.compileTimeOnly
+
+@compileTimeOnly("C1") class C1
+object C1
+
+class C2
+@compileTimeOnly("C2") object C2
+
+@compileTimeOnly("C3") case class C3(x: Int)
+
+@compileTimeOnly("C4") case class C4(x: Int)
+object C4
+
+object pkg {
+  @compileTimeOnly("C5")
+  implicit class C5(val x: Int) {
+    def ext = ???
+  }
+}
+
+class C6(@compileTimeOnly("C6.x") val x: Int) {
+  @compileTimeOnly("C6.foo") def foo = 2
+  @compileTimeOnly("C6.Foo") type Foo = Int
+  @compileTimeOnly("C6.y") var y = 3
+}
+
+object Test extends App {
+  new C1()
+  C1
+
+  new C2()
+  C2
+
+  new C3(2)
+  C3(2)
+
+  new C4(2)
+  C4(2)
+
+  import pkg._
+  2.ext
+  C5(2)
+
+  val c6 = new C6(2)
+  val _ = c6.x
+  c6.foo
+  type Foo = c6.Foo
+  c6.y = c6.y
+}
+
+@compileTimeOnly("placebo")
+class placebo extends scala.annotation.StaticAnnotation
+
+@placebo
+class Test {
+  @placebo def x = (2: @placebo)
+}
\ No newline at end of file
diff --git a/test/files/neg/compile-time-only-b.check b/test/files/neg/compile-time-only-b.check
new file mode 100644
index 0000000000..8292a0ddeb
--- /dev/null
+++ b/test/files/neg/compile-time-only-b.check
@@ -0,0 +1,7 @@
+compile-time-only-b.scala:13: error: splice must be enclosed within a reify {} block
+  val ignored3 = reify(fortyTwo).splice
+                                 ^
+compile-time-only-b.scala:14: error: cannot use value except for signatures of macro implementations
+  val ignored4 = reify(fortyTwo).value
+                                 ^
+two errors found
diff --git a/test/files/neg/compile-time-only-b.scala b/test/files/neg/compile-time-only-b.scala
new file mode 100644
index 0000000000..d5568dbe67
--- /dev/null
+++ b/test/files/neg/compile-time-only-b.scala
@@ -0,0 +1,15 @@
+import scala.reflect.runtime.universe._
+
+object Test extends App {
+  // HAHA!!!
+  // no compileTimeOnly errors here, because scalac does constant folding
+  // the type of reify(42) is Expr[42.type]
+  // therefore the type of expr.splice is 42.type, which is then constfolded
+  val expr = reify(42)
+  val ignored1 = expr.splice
+  val ignored2 = expr.value
+
+  val fortyTwo = 42
+  val ignored3 = reify(fortyTwo).splice
+  val ignored4 = reify(fortyTwo).value
+}
\ No newline at end of file