RFR: JDK_14 8234445: spurious error message for record constructors with receiver parameters

Mon Jan 6 23:11:37 UTC 2020

Looks good

Maurizio

On 06/01/2020 20:25, Vicente Romero wrote:
> Please review the patch to fix [1] in JDK 14. I mistakingly pushed the 
> code initially to 15 when it should have been pushed to 14. The patch 
> applies cleanly. The fix in JDK 15 can be is at [3] and the review 
> thread can be accessed at [4],
>
> Thanks,
> Vicente
>
> [1] https://bugs.openjdk.java.net/browse/JDK-8234445
> [2] http://cr.openjdk.java.net/~vromero/8234445_jdk14/webrev.00/
> [3] https://bugs.openjdk.java.net/browse/JDK-8236276
> [4] 
> http://mail.openjdk.java.net/pipermail/compiler-dev/2019-December/014111.html