borrowck: Apply user_arg_index nomenclature more broadly#154895
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Apr 20, 2026
Merged
borrowck: Apply user_arg_index nomenclature more broadly#154895rust-bors[bot] merged 1 commit intorust-lang:mainfrom
user_arg_index nomenclature more broadly#154895rust-bors[bot] merged 1 commit intorust-lang:mainfrom
