diff options
| author | Michael Goulet <michael@errs.io> | 2023-07-23 12:30:52 -0700 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-07-23 12:30:52 -0700 |
| commit | f3553691a89ffeb9af770051a4f7e7ac0d771406 (patch) | |
| tree | 86c1d4a91f170d50d0487d92690d3610c4ba2eb1 /compiler/rustc_trait_selection/src/solve/normalize.rs | |
| parent | 77e24f90f599070af2d8051ef9adad7fe528dd78 (diff) | |
| download | rust-f3553691a89ffeb9af770051a4f7e7ac0d771406.tar.gz rust-f3553691a89ffeb9af770051a4f7e7ac0d771406.zip | |
Comment stuff in the new solver
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/normalize.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/normalize.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/normalize.rs b/compiler/rustc_trait_selection/src/solve/normalize.rs index f51f4edb933..0e5b137c5de 100644 --- a/compiler/rustc_trait_selection/src/solve/normalize.rs +++ b/compiler/rustc_trait_selection/src/solve/normalize.rs @@ -28,7 +28,8 @@ pub(crate) fn deeply_normalize<'tcx, T: TypeFoldable<TyCtxt<'tcx>>>( /// its input to be already fully resolved. /// /// Additionally takes a list of universes which represents the binders which have been -/// entered before passing `value` to the function. +/// entered before passing `value` to the function. This is currently needed for +/// `normalize_erasing_regions`, which skips binders as it walks through a type. pub(crate) fn deeply_normalize_with_skipped_universes<'tcx, T: TypeFoldable<TyCtxt<'tcx>>>( at: At<'_, 'tcx>, value: T, |