fixes the record type inference issue #4643#4653

mpalat wants to merge 1 commit intoeclipse-jdt:mastereclipse-jdt/eclipse.jdt.core:masterfrom

mpalat:record-type-infer-4643.1mpalat/eclipse.jdt.core:record-type-infer-4643.1Copy head branch name to clipboard