- for compact constructors, which implies that the parameter list is implicit, the compiler should push any (type) annotations from the record component to the corresponding parameter.

- for the accessor, type annotations should be applied to the return type.

reported by michael dot hixson at gmail dot com in amber-dev: http://mail.openjdk.java.net/pipermail/amber-dev/2019-December/005400.html