2 files changed, 10 insertions, 1 deletions
diff --git a/test/files/neg/bug935.check b/test/files/neg/bug935.check
index e2c2b87be8..505b82ea15 100644
--- a/test/files/neg/bug935.check
+++ b/test/files/neg/bug935.check
@@ -1,4 +1,7 @@
 bug935.scala:5: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String]
   @E[B](new B) val b = "hi"
    ^
-one error found
+bug935.scala:11: error: type arguments [Test4.B] do not conform to class E's type parameter bounds [T <: String]
+  val b: String @E[B](new B) = "hi"
+                 ^
+two errors found
diff --git a/test/files/neg/bug935.scala b/test/files/neg/bug935.scala
index 4497e0812e..20654a3f56 100644
--- a/test/files/neg/bug935.scala
+++ b/test/files/neg/bug935.scala
@@ -3,4 +3,10 @@ object Test3 {
   class B
   // val a = new E[B](new B)
   @E[B](new B) val b = "hi"
+}
+
+object Test4 {
+  class E[T <: String](s: T) extends Annotation
+  class B
+  val b: String @E[B](new B) = "hi"
 }
 \ No newline at end of file