Bad code green

One of the standard Scala classes is the annotation
scala.beans.BeanProperty, and apparently this annotation requires that
the field it is applied to must be non-private. So I was porting some
Java code over to Scala and put a @BeanProperty annotation in. IDEA's
Scala plugin was fine with it, but I got a compile error:

error: `BeanProperty' annotation can be applied only to non-private fields

The syntax checker should be catching this, right?