return null;
}
Scope parentProps = ((RecordType) pv).properties;
// check for duplicated keys
for (String key : parentProps.keySet()) {
Value existing = properties.lookupLocalType(key);
if (existing != null) {
Util.abort(p, "conflicting field " + key +
" inherited from parent " + p + ": " + pv);
return null;