Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnr

Rename `replace_bound_vars_with_*` to `instantiate_binder_with_*`

Mentioning "binder" rather than "bound vars", imo, makes it clearer that we're doing something to the binder as a whole.

Also, "instantiate" is the verb that I'm always reaching for when I'm looking for these functions, and the name that we use in the new solver anyways.

r? types

diff --cc compiler/rustc_trait_selection/src/solve/project_goals.rs
Simple merge

diff --cc compiler/rustc_trait_selection/src/solve/trait_goals.rs
Simple merge

diff --cc compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs
Simple merge