rust/compiler/rustc_trait_selection/src
bors 24606deaf4 Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorino
Some initial normalization method changes

1. Rename `AtExt::normalize` to `QueryNormalizeExt::query_normalize` (using the `QueryNormalizer`)
2. Introduce `NormalizeExt::normalize` to replace `partially_normalize_associated_types_in` (using the `AssocTypeNormalizer`)
3. Rename `FnCtxt::normalize_associated_types_in` to `FnCtxt::normalize`
4. Remove some unused other normalization fns in `Inherited` and `FnCtxt`

Also includes one drive-by where we're no longer creating a `FnCtxt` inside of `check_fn`, but passing it in. This means we don't need such weird `FnCtxt` construction logic.

Stacked on top of #104835 for convenience.

r? types
2022-11-30 11:13:09 +00:00
..
traits Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorino 2022-11-30 11:13:09 +00:00
autoderef.rs partially_normalize_... -> At::normalize 2022-11-28 17:35:39 +00:00
errors.rs Don't print full paths in overlap errors 2022-11-10 05:41:09 +00:00
infer.rs partially_normalize_... -> At::normalize 2022-11-28 17:35:39 +00:00
lib.rs Use iterators instead of slices at more sites 2022-11-21 20:34:28 +00:00