ruff
[red-knot] add new diagnostic reporter API and use it in some places
#17318
Merged
Merged
[red-knot] add new diagnostic reporter API and use it in some places #17318
BurntSushi
merged
11 commits into
main
from
ag/red-knot-new-diagnostic-data-model
sharkdp
commented
on 2025-04-09
sharkdp
commented
on 2025-04-09
sharkdp
approved these changes
on 2025-04-09
red_knot_python_semantic: add "reporter" API
63e0e426
red_knot_python_semantic: remove `InferContext::report_diagnostic`
1a7bdf30
red_knot: add explicit test for concise `reveal_type` diagnostic
645e9c3b
ruff_db: tweak how the revealed type diagnostic is rendered
e6acfedc
red_knot_python_semantic: update revealed type snapshots
f545fe24
red_knot_python_semantic: replace one use of "old" secondary diagnost…
1763a97e
red_knot_python_semantic: remove the "old" secondary message type
2b4a59b7
red_knot_python_semantic: tweak docs on building reporter builders
2cf3239d
ruff_db: use `Annotation::get_message` in more places
200a8975
red_knot_python_semantic: rename `lint()` and `report()`
d01c129e
red_knot_python_semantic: move TODO comment
06468d7b
Reviewers
Assignees
No one assigned
Labels
ty
diagnostics
Milestone
No milestone
Login to write a write a comment.
Login via GitHub