change diagnostic reporting to check suppressions more eagerly #17341
BurntSushi
force pushed
from
5ab3dfa7
to
01311467
156 days ago
ruff_db: tweak APIs accepting a diagnostic message
20a5a0b3
BurntSushi
force pushed
from
01311467
to
68590af9
155 days ago
BurntSushi
force pushed
from
68590af9
to
f35fff77
155 days ago
BurntSushi
marked this pull request as ready for review 155 days ago
BurntSushi
force pushed
from
f35fff77
to
326472b2
155 days ago
BurntSushi
force pushed
from
326472b2
to
6b99e47f
155 days ago
BurntSushi
force pushed
from
6b99e47f
to
28f595bb
155 days ago
red_knot_python_semantic: tweak naming
c34381f2
red_knot_python_semantic: make the guards implement DerefMut
860c2da7
ruff_db: add primary annotation message mutators on `Diagnostic`
f8d51bf1
red_knot_python_semantic: make `TextRange` required for reporting a l…
14c9679c
BurntSushi
force pushed
from
28f595bb
to
14c9679c
155 days ago
BurntSushi
deleted the ag/reporter-refactor branch 155 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub