Class NoDuplicatedPropertyNamesOrError

All Implemented Interfaces:
Consumer<AggregateSymbol>

final class NoDuplicatedPropertyNamesOrError extends TypedSymbolAccess implements Consumer<AggregateSymbol>
As all properties on records are public, it is necessary to check they do not get duplicated. In short in a record inheritance hierarchy the properties become flattened.
This is unlike classes/components where all properties are always private and so can have the same name. But this is complicated with the JSON operator.