ruff
[red-knot] Make' Type::in_type_expression()' exhaustive for Type::KnownInstance
#16836

Merged

[red-knot] Make' Type::in_type_expression()' exhaustive for Type::KnownInstance #16836

carljm merged 10 commits into astral-sh:main from MatthewMckee4:make-in-type-expression-exhaustive

Create InvalidBareType type in InvalidTypeExpression and add some tes…

1042121b

Catch each match case of KnownInstanceType

50fbcf4a

Remove unused test

6306fd8a

carljm commented on 2025-03-18

AlexWaygood commented on 2025-03-18

Fix Protocol error in type expression

dcf394bf

Split up BareSpecialForm into BareSpecialFormAtLeastOne and BareSpeci…

cd16ad60

Make InvalidTypeExpression type less verbose

6079ee45

MatthewMckee4 marked this pull request as ready for review 1 year ago

MatthewMckee4 requested a review from

sharkdp 1 year ago

MatthewMckee4 requested a review from

dcreager 1 year ago

MatthewMckee4 requested a review from

AlexWaygood 1 year ago

MatthewMckee4 requested a review from

carljm 1 year ago

dhruvmanila added ty

dhruvmanila commented on 2025-03-19

Update intersection_types.md

5a178386

Move md tests to correct sections and add back link

8b28a931

Merge branch 'make-in-type-expression-exhaustive' of https://github.c…

ff73a7fa

Fix tests

fb56dc23

MatthewMckee4 requested a review from

dhruvmanila 1 year ago

carljm commented on 2025-03-19

carljm approved these changes on 2025-03-19

carljm merged 3a5f1d46 into main 1 year ago

AlexWaygood commented on 2025-03-19

MatthewMckee4 deleted the make-in-type-expression-exhaustive branch 1 year ago

Reviewers

carljm

AlexWaygood

dhruvmanila

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [red-knot] Make' Type::in_type_expression()' exhaustive for Type::KnownInstance #16836 Merged

[red-knot] Make' Type::in_type_expression()' exhaustive for Type::KnownInstance #16836

ruff
[red-knot] Make' Type::in_type_expression()' exhaustive for Type::KnownInstance
#16836

Merged