Matthias Krüger ec65285fdd

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

2023-02-08 18:32:44 +01:00

..

src

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

2023-02-08 18:32:44 +01:00

Cargo.toml

remove unused imports

2023-02-06 17:40:18 +03:00