hg: jdk/jdk14: 8234445: spurious error message for record constructors with receiver parameters

[vicente.romero at oracle.com]

Changeset: 2a5117972a35
Author:    vromero
Date:      2020-01-07 09:21 -0500
URL:       https://hg.openjdk.java.net/jdk/jdk14/rev/2a5117972a35

8234445: spurious error message for record constructors with receiver parameters
Reviewed-by: mcimadamore

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TypeEnter.java
! test/langtools/tools/javac/records/RecordCompilationTests.java