[red-knot] Type narrowing for `isinstance` checks #13894
sharkdp
merged
13 commits into
main
from
david/isinstance-narrowing
sharkdp
commented
on 2024-10-23
[red-knot] Type narrowing for isinstance checks
6c2b513e
Add additional test
bd592017
AlexWaygood
commented
on 2024-10-23
Make sure we only narrow for builtins.isinstance
61048a0d
Collapse match patterns
5bd555fe
Add test for isinstance aliasing
d4f28715
Add test for builtins.type instances
78107f72
Add test for imported isinstance
707e4630
Make sure that kwargs are empty
eadcaa22
carljm
approved these changes
on 2024-10-23
AlexWaygood
commented
on 2024-10-23
Add TODO comment regarding diagnostic for kwargs
9e5e9063
Add check for inferred type of t: type
6eabdc17
Add FunctionType::is_known
5cf0efde
generate_isinstance_constraint as free function
8a469077
AlexWaygood
approved these changes
on 2024-10-23
Add test if second argument is not a type
25bcc43e
carljm
approved these changes
on 2024-10-23
Login to write a write a comment.
Login via GitHub