PR #16503 [red-knot] Add new `Diagnostic` data type

[red-knot] Add new `Diagnostic` data type #16503

BurntSushi merged 5 commits into main from ag/new-diag-type

BurntSushi requested a review from

carljm 296 days ago

BurntSushi requested a review from

MichaReiser 296 days ago

BurntSushi requested a review from

AlexWaygood 296 days ago

BurntSushi requested a review from

sharkdp 296 days ago

BurntSushi force pushed from 95ab4496 to 3c010fce 296 days ago

AlexWaygood added ty

ruff_db: rename `Diagnostic` to `OldDiagnosticTrait`

bd82b0c2

ruff_db: move old types into their own sub-module

a95560eb

ruff_db: rename `ParseDiagnostic` to `OldParseDiagnostic`

47a61b6e

ruff_db: move `ParseDiagnostic` to `old` submodule too

a8b67ab6

BurntSushi force pushed from 3c010fce to 7a0bb132 296 days ago

BurntSushi added diagnostics

MichaReiser approved these changes on 2025-03-04

carljm approved these changes on 2025-03-04

ruff_db: add new `Diagnostic` type

1a3d0f03

BurntSushi force pushed from 7a0bb132 to 1a3d0f03 295 days ago

BurntSushi merged cc324abc into main 295 days ago

BurntSushi deleted the ag/new-diag-type branch 295 days ago

Reviewers

carljm

MichaReiser

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

ty diagnostics

Milestone

No milestone