[records] customized accessor returning subtype

[Dmitry Bessonov]

Is there any reason for not allowing a customized accessor to return rc subtype:

record R(Number number) {
    public Integer number() {
        return 42;
    }
}

Error: java: invalid accessor method in record R
  (return type of accessor method number() is not compatible with type of record component number)


dmitry