If type keyword co-occurs with enum, oneOf, or anyOf, we should be able to "narrow" the choices based on that type.
e.g.
{"type": "string", "enum": ["1", "2", 3]}
->
{"enum": ["1", "2"]}
Note: we in general need to add "intersection" logic like this... e.g. $ref plus properties can be joined into a single schema. More general problem: allOf
If
typekeyword co-occurs withenum,oneOf, oranyOf, we should be able to "narrow" the choices based on that type.e.g.
->
Note: we in general need to add "intersection" logic like this... e.g.
$refpluspropertiescan be joined into a single schema. More general problem:allOf