git: openjdk/jdk: 8315137: Add explicit override RecordComponentElement.asType()

[Joe Darcy]

Changeset: 8e2a533d
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2023-08-28 20:43:54 +0000
URL:       https://git.openjdk.org/jdk/commit/8e2a533df69d32c419d035068ac3964dd9f98b7b

8315137: Add explicit override RecordComponentElement.asType()

Reviewed-by: jjg

! src/java.compiler/share/classes/javax/lang/model/element/Element.java
! src/java.compiler/share/classes/javax/lang/model/element/RecordComponentElement.java