Integrated: JDK-8315137: Add explicit override RecordComponentElement.asType()

[Joe Darcy]

On Mon, 28 Aug 2023 19:50:46 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> No change in semantics, just adding more explicit information.

This pull request has now been integrated.

Changeset: 8e2a533d
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8e2a533df69d32c419d035068ac3964dd9f98b7b
Stats:     17 lines in 2 files changed: 16 ins; 0 del; 1 mod

8315137: Add explicit override RecordComponentElement.asType()

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk/pull/15456