Merge pull request #310 from dotty-staging/fix/#305-annot-bootstrap

Fix/#305 annot bootstrap

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/pos/annot-bootstrap.scala b/tests/pos/annot-bootstrap.scala
new file mode 100644
index 000000000..bef877dcd
--- /dev/null
+++ b/tests/pos/annot-bootstrap.scala
@@ -0,0 +1,8 @@
+package scala.annotation.unchecked
+
+// note: if the case class is not inside an object, the error disappears
+object test {
+  case class L(a: Int)
+}
+
+final class uncheckedVariance extends scala.annotation.StaticAnnotation {}