runtypes / runtypes / 12805727259

94%

push

github

fix: revert behavior of parsing `Intersect` of `Object`s (#443)

#442 sometimes produced unsound type inference, such as in case where
properties with the same name might be parsed into different values.

```typescript
const P = Object({ n: String.withParser(() => 1 as const) })
const N = Object({ n: String.withParser(parseInt) })
const PN = P.and(N)
assertEquals(PN.parse({ n: "42" }).n, 1)
// `n` is infered as `1`, but `undefined` actually.
```

I can't imagine any viable solution to this, so reverting.

403 of 440 branches covered (91.59%)

Branch coverage included in aggregate %.

13 of 13 new or added lines in 2 files covered. (100.0%)

1519 of 1606 relevant lines covered (94.58%)

2364.41 hits per line