RFR: JDK-8042981: Strip type annotations in Types' utility methods

Joe Darcy darcy at openjdk.org
Sun Jun 26 22:55:35 UTC 2022

On Fri, 24 Jun 2022 08:10:07 GMT, Srikanth Adayapalam <sadayapalam at openjdk.org> wrote:

> Also worth observing is there already being several overrides of com.sun.tools.javac.code.Types.MapVisitor#visitType where the idempotent return is unsuitable. So it seems the present problem also should simply override and handle suitably as opposed to introducing a new method.

Thanks @sadayapalam, adding the method you suggested resolved the issue and allows all the existing langtools regression tests to pass. 

I updated the  directSupertypes spec to have the annotations preserved, which was the (reasonable) behavior expected by an existing type annotations test.

I'll take another pass over refining the spec and tests.


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

More information about the compiler-dev mailing list