Skip to content

resolve: Rename "name bindings" to "name declarations"#150521

Merged
bors merged 6 commits intorust-lang:mainfrom
petrochenkov:decl
Jan 6, 2026
Merged

resolve: Rename "name bindings" to "name declarations"#150521
bors merged 6 commits intorust-lang:mainfrom
petrochenkov:decl