Skip to content

[red-knot] Fix recording of negative visibility constraints#17731

Merged
sharkdp merged 1 commit intomainfrom
david/fix-negative-reachability-constraints
Apr 30, 2025
Merged

[red-knot] Fix recording of negative visibility constraints#17731
sharkdp merged 1 commit intomainfrom
david/fix-negative-reachability-constraints

Commits

Commits on Apr 30, 2025