ruff
[red-knot] use declared types in inference/checking
#13335

Merged

[red-knot] use declared types in inference/checking #13335

carljm merged 10 commits into main from cjm/declared-types-infer

carljm added ty

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

carljm requested a review from

MichaReiser 1 year ago

carljm requested a review from

AlexWaygood 1 year ago

AlexWaygood commented on 2024-09-12

MichaReiser approved these changes on 2024-09-12

carljm force pushed from a0f0488e to 159e31bd 1 year ago

carljm force pushed from 159e31bd to 88240f81 1 year ago

Base automatically changed from cjm/declared-types-index to main 1 year ago

carljm force pushed from 88240f81 to a19ef5c8 1 year ago

carljm requested a review from

MichaReiser 1 year ago

MichaReiser commented on 2024-09-16

MichaReiser approved these changes on 2024-09-16

carljm force pushed from a19ef5c8 to 21894c1c 1 year ago

carljm requested a review from

MichaReiser 1 year ago

MichaReiser approved these changes on 2024-09-17

[red-knot] use declared types in inference/checking

d8c8441c

review comments

2a6e5412

include Unknown for undeclared, validate assignments against union de…

07256014

misc review comments

5e237fce

clean up type array display

4162966b

return a Result from declarations_ty

96620cbb

improve doc comments

4b95b6a1

review comments

aebc669d

move FormatterJoinExtension to ruff_db and make it public

3b3228e0

simplify DisplayUnionType by using join.entry() in a loop instead of …

ccf2433e

carljm force pushed from 0a959570 to ccf2433e 1 year ago

carljm merged dcfebaa4 into main 1 year ago

carljm deleted the cjm/declared-types-infer branch 1 year ago

Reviewers

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [red-knot] use declared types in inference/checking #13335 Merged

[red-knot] use declared types in inference/checking #13335

ruff
[red-knot] use declared types in inference/checking
#13335

Merged