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

[Joe Darcy]

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.

This pull request has now been integrated.

Changeset: 863feab9
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/863feab9
Stats:     181 lines in 3 files changed: 179 ins; 0 del; 2 mod

8005295: Use mandated information for printing of repeating annotations

Reviewed-by: jjg

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

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