PR #13384 [red-knot] support for typing.reveal_type

[red-knot] support for typing.reveal_type #13384

carljm merged 6 commits into main from cjm/reveal-type

carljm added ty

carljm force pushed from a44c6818 to d327c604 1 year ago

carljm changed the title ~~[red-knot] [WIP] typing.reveal_type~~ [red-knot] support for typing.reveal_type 1 year ago

carljm force pushed from d327c604 to 4a826827 1 year ago

carljm force pushed from 4a826827 to 4b171bdd 1 year ago

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

MichaReiser approved these changes on 2024-09-18

AlexWaygood commented on 2024-09-18

WIP: test for reveal_type

d71a7ee4

WIP: add Type::RevealTypeFunction and resolve import to it

275c4999

reveal_type works

10d269ea

improve union-call diagnostics, add tests

41e6b941

make msrv happy

6df5c5c0

review comments

f0ace0ea

carljm force pushed from d671547f to f0ace0ea 1 year ago

carljm merged c173ec5b into main 1 year ago

carljm deleted the cjm/reveal-type branch 1 year ago

Reviewers

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone