PR #14869 [red-knot] Typed diagnostic id

[red-knot] Typed diagnostic id #14869

MichaReiser merged 2 commits into main from micha/diagnostic-id

MichaReiser added ty

MichaReiser added diagnostics

MichaReiser requested a review from

BurntSushi 1 year ago

MichaReiser force pushed from b39def29 to 9d47d4c7 1 year ago

MichaReiser force pushed from 9d47d4c7 to 3792746a 1 year ago

MichaReiser marked this pull request as ready for review 1 year ago

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser requested a review from

sharkdp 1 year ago

carljm approved these changes on 2024-12-10

sharkdp commented on 2024-12-10

sharkdp approved these changes on 2024-12-10

Introduce `DiagnosticId`

49c81523

Use `lint:<code>` over `lint/<code>`, avoid repetition of lint-ids

b012b24b

MichaReiser force pushed from 5150616c to b012b24b 1 year ago

MichaReiser merged 5f548072 into main 1 year ago

MichaReiser deleted the micha/diagnostic-id branch 1 year ago

BurntSushi commented on 2024-12-10

Reviewers

sharkdp

carljm

BurntSushi

AlexWaygood

Assignees

No one assigned

Labels

ty diagnostics

Milestone

No milestone