Skip to content

mir_build: Avoid some useless work when visiting "primary" bindings#137465

Merged
bors merged 4 commits intorust-lang:masterfrom
Zalathar:visit-primary
Mar 17, 2025
Merged

mir_build: Avoid some useless work when visiting "primary" bindings#137465
bors merged 4 commits intorust-lang:masterfrom
Zalathar:visit-primary

Commits

Commits on Mar 16, 2025