Feature request: Omit duplicated properties

[bijancn]

As of v4 of the draft, there is no direct possibility to use allOf in combination with "additionalProperties" = false, see here.

Currently one has to duplicate the properties with empty objects to get around this. But this makes the documentation quite ugly, see an example here. Would it be possible to check whether properties are defined in the allOf section (of course resolving $refs) and omitting them?

Not sure if there is currently enough momentum behind v5 to get it published and then implemented here as well as the commonly used validators.