SC: subclass access to package-private or private field is not indicated as an error

Consider the following:

package p
import groovy.transform.*
@CompileStatic class Main {
  @PackageScope static final String CONST = 'value'
  static main(args) {
    new q.Sub().meth()
  }
}

package q
import groovy.transform.*
@CompileStatic class Sub extends p.Main {
  void meth() {
    print CONST
  }
}

This code compiles but throws an IllegalAccessError at run-time. Since a subclass should not have access to it's parent's private or package-private members (if located in a different package), there should be a compile-time error like "Access to Main#CONST is forbidden @ line -1, column -1."

Replacing "@PackageScope" with "private" should get the same compile-time error but produces "MissingPropertyExceptionNoStack: No such property: CONST for class: q.Sub" at run-time.