Add more tests for record types

JDK-8286153 uncovered 2 places where there was handling for ENUM but not RECORD, that was not detected by any tests. We should add tests for these cases.

(A review of all uses of ENUM suggests that all places where ENUM is handled in javadoc has a sibling case for RECORD.)