RFR: 8005295: Use mandated information for printing of repeating annotations

Fri Apr 9 20:24:27 UTC 2021

On Thu, 8 Apr 2021 21:56:52 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Small behavioral change to improve the source fidelity of the Xprint output in the case of repeated annotations being placed in a mandated, that is compiler-generated, container annotation.
> 
> The checks over and above the annotation being marked as MANDATED are meant to catch potential cases where an annotation was marked as mandated, but was not a container for a repeating annotation.

Marked as reviewed by jjg (Reviewer).

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

PR: https://git.openjdk.java.net/jdk/pull/3403