2 files changed, 76 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..99d7a8e2dd
--- /dev/null
+++ b/test/files/neg/compile-time-only-a.check
@@ -0,0 +1,19 @@
+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
+            ^
+6 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