git: openjdk/mobile: 8234445: spurious error message for record constructors with receiver parameters

[duke]

Changeset: 9695ddff
Author:    Vicente Romero <vromero at openjdk.org>
Date:      2019-12-19 11:46:35 +0000
URL:       https://git.openjdk.java.net/mobile/commit/9695ddff

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