'in' can narrow TypedDict unions - #13838

Merged

hauntsaninja merged 23 commits into

python:masterfrom

ikonst:typed-dict-in-type-narrowing

Dec 20, 2022

Commits on Oct 15, 2022

'in' can narrow TypedDict unions
ikonst
committed
ca87360
take care of TypeVar
ikonst
committed
2a73325
take care of totality
ikonst
committed
9671a69
add missing assert_type fixture
ikonst
committed
0b3701b
rename tests slightly
ikonst
committed
1f4224a
fix unintentional changes to typing-typeddict
ikonst
committed
e67c6f8
add testOperatorContainsNarrowsTypedDicts_unionWithList
ikonst
committed
88e2c9f
respect final-ity of TypedDict
ikonst
committed
f799344

Commits on Oct 16, 2022

remove bogus addition
ikonst
committed
20a2e66

Commits on Oct 17, 2022

Merge branch 'master' into typed-dict-in-type-narrowing
ikonst
authored
b4dc248

Commits on Oct 19, 2022

use less risky pattern
ikonst
committed
88f03f6
Merge branch 'typed-dict-in-type-narrowing' of https://github.com/ikonst/mypy into typed-dict-in-type-narrowing
ikonst
committed
123656c
'D1 | None' -> 'D1 | list [str]'
ikonst
committed
a47bc04
remove unused stuff in tests
ikonst
committed
f72a634
test totality through both total= and (Not)Required
ikonst
committed
bf4364f
add spam in d_final test
ikonst
committed
062fcb1

Commits on Oct 24, 2022

Merge branch 'master' into typed-dict-in-type-narrowing
ikonst
authored
a57f580

Commits on Nov 2, 2022

Merge branch 'master' into typed-dict-in-type-narrowing
ikonst
authored
2807feb

Commits on Nov 3, 2022

Commits on Nov 4, 2022

clarify we don't narrow the left operand
ikonst
committed
fb564eb
no more recursion + similar naming to conditional_types...
ikonst
committed
178483e
Merge remote-tracking branch 'origin/master' into typed-dict-in-type-narrowing
ikonst
committed
26c4d04