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

[Joe Darcy]

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