Skip to content

Check redundant clauses for definitions#15124

Merged
josevalim merged 1 commit into
mainfrom
jv-across-clause-inference
Mar 2, 2026
Merged

Check redundant clauses for definitions#15124
josevalim merged 1 commit into
mainfrom
jv-across-clause-inference

Check redundant clauses for definitions

e992251
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar