hg: amber/amber: Automatic merge with records-and-sealed

[maurizio.cimadamore at oracle.com]

Changeset: 1245f81d7e7c
Author:    mcimadamore
Date:      2019-08-05 16:00 +0000
URL:       https://hg.openjdk.java.net/amber/amber/rev/1245f81d7e7c

Automatic merge with records-and-sealed

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/TypeAnnotations.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java