]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 5b8403c 03a8a4f)
Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnr
authorMatthias Krüger <matthias.krueger@famsik.de>
Wed, 8 Feb 2023 17:32:44 +0000 (18:32 +0100)
committerGitHub <noreply@github.com>
Wed, 8 Feb 2023 17:32:44 +0000 (18:32 +0100)
commitec65285fdd4b702f58df467ab9f6d2daffe9a2be
tree55859e6d1f1ab72d5160ff2fe72ed4c6599c1fa3tree | snapshot
parent5b8403c46357ee0f1e72aa6b7ab90942d697a241commit | diff
parent03a8a4ff3e7cf0633ceaf0a5fa8d347cfe49e809commit | diff
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
compiler/rustc_trait_selection/src/solve/project_goals.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/solve/trait_goals.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.