PR #11282 [red-knot] @override lint rule

[red-knot] @override lint rule #11282

carljm merged 4 commits into main from cjm/override-check

carljm requested a review from

MichaReiser 1 year ago

carljm requested a review from

plredmond 1 year ago

carljm requested a review from

AlexWaygood 1 year ago

AlexWaygood commented on 2024-05-04

AlexWaygood commented on 2024-05-05

MichaReiser added internal

MichaReiser commented on 2024-05-06

carljm force pushed from b63f2f95 to b10bf044 1 year ago

[red-knot] @override lint rule

1e4d8a04

remove type_store 'query'

a0900b80

remove module_to_file query

01516281

carljm force pushed from b10bf044 to 01516281 1 year ago

carljm requested a review from

MichaReiser 1 year ago

MichaReiser approved these changes on 2024-05-09

Update crates/red_knot/src/symbols.rs

3615f966

carljm merged b6b4ad99 into main 1 year ago

carljm deleted the cjm/override-check branch 1 year ago

Reviewers

MichaReiser

AlexWaygood

plredmond

Assignees

No one assigned

Labels

internal

Milestone

No milestone