path: root/test/files/neg/t935.check

t935.scala:7: error: type arguments [Test3.B] do not conform to class E's type parameter bounds [T <: String]
  @E[B](new B) val b = "hi"
                   ^
t935.scala:13: 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"
                 ^
t935.scala:13: 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"
      ^
three errors found