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

[vicente.romero at oracle.com]

Changeset: 21dacaafdac5
Author:    vromero
Date:      2019-12-19 11:46 -0500
URL:       https://hg.openjdk.java.net/jdk/submit/rev/21dacaafdac5

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