ruff
[red-knot] inferred type, not Unknown, for undeclared paths
#13400
Merged

[red-knot] inferred type, not Unknown, for undeclared paths #13400

carljm merged 1 commit into main from cjm/declared-vs-non
carljm
carljm carljm requested a review from MichaReiser MichaReiser 1 year ago
carljm carljm requested a review from AlexWaygood AlexWaygood 1 year ago
github-actions
carljm carljm added ty
AlexWaygood
AlexWaygood approved these changes on 2024-09-19
carljm carljm force pushed from 51d8d50a to 7eeefadd 1 year ago
Base automatically changed from cjm/typing-extensions-reveal-type to main 1 year ago
carljm [red-knot] inferred type, not Unknown, for undeclared paths
f4e2b7ad
carljm carljm force pushed from 7eeefadd to f4e2b7ad 1 year ago
carljm carljm merged 125eaafa into main 1 year ago
carljm carljm deleted the cjm/declared-vs-non branch 1 year ago
MichaReiser
MichaReiser
MichaReiser commented on 2024-09-19
carljm

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone