Rename replace_bound_vars_with_* to instantiate_binder_with_*#107780
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 8, 2023
Merged
Rename replace_bound_vars_with_* to instantiate_binder_with_*#107780bors merged 1 commit intorust-lang:masterfrom
replace_bound_vars_with_* to instantiate_binder_with_*#107780bors merged 1 commit intorust-lang:masterfrom
