(15) RFR: JDK-8247444: Trust final fields in records

[John Rose]

On Jun 15, 2020, at 2:58 PM, Mandy Chung <mandy.chung at oracle.com> wrote:
> 
> Webrev: http://cr.openjdk.java.net/~mchung/jdk15/webrevs/8247444/webrev.00/ <http://cr.openjdk.java.net/~mchung/jdk15/webrevs/8247444/webrev.00/>
> CSR: https://bugs.openjdk.java.net/browse/JDK-8247517 <https://bugs.openjdk.java.net/browse/JDK-8247517>

Good work.  Reviewed.  — John