RFR: JDK-8320941: Discuss receiver type handling

Wed Nov 29 03:15:13 UTC 2023

On Wed, 29 Nov 2023 03:05:19 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Please review this note to discuss when ExecutableElement returns a non-sentinel object for the receiver type.
> 
> (The PR was accidentally created from the wrong branch; the change to java.lang.Double can be ignored.)

In retrospect, it may have been better to define

    TypeMirror ExecutableType.getReceiverType()

to instead be

    VariableElement ExecutableType.getReceiverParameter()

However, it is far too late to make that change.

@cushon , does this spec update properly capture the intended semantics of your recent change for JDK-8319196?

Once the wording of the spec update is worked out, I'll file the CSR in due course.

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

PR Comment: https://git.openjdk.org/jdk/pull/16874#issuecomment-1831143529
PR Comment: https://git.openjdk.org/jdk/pull/16874#issuecomment-1831144924