RFR: 8347562: javac crash due to type vars in permits clause

Vicente Romero vromero at openjdk.org
Mon Jan 13 14:30:45 UTC 2025


On Mon, 13 Jan 2025 13:33:13 GMT, Hannes Greule <hgreule at openjdk.org> wrote:

> This fix ignores erroneous types when attributing permits clauses. Before, multiple erroneous types would lead to an exception in the duplication check. Additionally, such types would cause package mismatch errors. As javac already reports errors before, such an additional error is more confusing than helpful.
> 
> Note that there are additional type var checks, but those only apply if the type vars come from a type other than the type with the permits clause, i.e. an enclosing class.

test/langtools/tools/javac/sealed/erroneous_permits/MultipleErroneousPermittedTypes.java line 2:

> 1: /*
> 2:  * @test /nodynamiccopyright/

it would be preferable for this test to be moved to a subtest in `test/langtools/tools/javac/sealed/SealedCompilationTests.java`

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

PR Review Comment: https://git.openjdk.org/jdk/pull/23069#discussion_r1913272166


More information about the compiler-dev mailing list