ruff
[red-knot] add support for typing_extensions.reveal_type
#13397
Merged

[red-knot] add support for typing_extensions.reveal_type #13397

carljm merged 4 commits into main from cjm/typing-extensions-reveal-type
carljm
carljm carljm added ty
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 changed the base branch from main to cjm/imports-are-declarations 1 year ago
carljm carljm force pushed from 67e7c561 to 94924dc2 1 year ago
carljm carljm force pushed from 94924dc2 to 52db9a4b 1 year ago
AlexWaygood
AlexWaygood commented on 2024-09-19
Base automatically changed from cjm/imports-are-declarations to main 1 year ago
carljm [red-knot] add support for typing_extensions.reveal_type
08c6975e
carljm carljm force pushed from 52db9a4b to 08c6975e 1 year ago
carljm review comments
037c0628
AlexWaygood
AlexWaygood approved these changes on 2024-09-19
carljm Update types.rs
334a528b
AlexWaygood
AlexWaygood commented on 2024-09-19
carljm Update types.rs
fc25dbbd
carljm carljm merged 7aae8090 into main 1 year ago
carljm carljm deleted the cjm/typing-extensions-reveal-type branch 1 year ago
MichaReiser
MichaReiser commented on 2024-09-19

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone