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

[Vicente Romero]

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