Integrated: 8338678: Erroneous parameterized type represented as <any>

Jan Lahoda jlahoda at openjdk.org
Thu Aug 29 06:30:25 UTC 2024


On Mon, 26 Aug 2024 14:20:49 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Consider code like:
> 
> class C {
>     Undefined u1;
>     Undefined<UndefinedParam> u2;
> }
> 
> 
> The types of both `u1` and `u2` are erroneous, but the internal properties of the types are different. For `u1`, the erroneous type keeps the name (`Undefined`), while for `u2`, the type is simply `<any>`.
> 
> The proposal here is to improve the error recovery, and create a parameterized error type for the second case.

This pull request has now been integrated.

Changeset: ff59532d
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ff59532ddd3002df61e46d58b3f29d26c78295da
Stats:     104 lines in 3 files changed: 98 ins; 4 del; 2 mod

8338678: Erroneous parameterized type represented as <any>

Reviewed-by: vromero

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

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


More information about the compiler-dev mailing list