RFR: JDK-8315137: Add explicit override RecordComponentElement.asType() [v2]

[Jonathan Gibbons]

On Mon, 28 Aug 2023 20:29:02 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> No change in semantics, just adding more explicit information.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix typo noticed during code review.

Marked as reviewed by jjg (Reviewer).

-------------

PR Review: https://git.openjdk.org/jdk/pull/15456#pullrequestreview-1599061644