RFR: JDK-8314477: Improve definition of "prototypical type"

[Maurizio Cimadamore]

On Thu, 17 Aug 2023 01:02:13 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Use an index tag to make the definition of "prototypical type" more findable.

src/java.compiler/share/classes/javax/lang/model/element/TypeElement.java line 91:

> 89:     /**
> 90:      * Returns the type defined by this class or interface element,
> 91:      * returning the <dfn>{@index "prototypical type"}</dfn> for an element

Since we are here - another term the JLS uses for synthetic types that are given to some expression (for the purpose of some computation) is _notional type_ which might be easier on the eye.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/15320#discussion_r1297086214