fix: relax type on object properties

[sparten11740]

This PR relaxes the type on object properties to accommodate for conflicting type inference as reported in #170

A simplified version of the issue we are facing is the following:

const y = [
  { "X": true },
  { "Y": false }
]

Is inferred as

({
    X: boolean;
    Y?: undefined;
} | {
    Y: boolean;
    X?: undefined;
})[]

properties amongst other is typed as { [id: string]: Schema } . This index signature states that if we have a property, it has to be of type Schema and cannot be undefined. This conflicts with the type that is inferred from e.g. an array provided to allOf, where one element references a different property than the other. Similar to the example above one property in one branch of the union type will then be inferred as propA?: undefined.

A possible solution is to allow keys with undefined values in the index signature using either Partial<{ [id: string]: Schema }> or <{ [id: string]: Schema | undefined }>. The caveat of is that obviously a key with an undefined value does not make sense in properties. Worth paying that price?

This PR does that and adds a test case for the bug from #170

Closes #170

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (f28dd6f) 99.54% compared to head (92bba82) 99.54%.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

[mvayngrib]

utACK

[ChALkeR]

tACK

This is very nice, thanks!

[mvayngrib]

utACK