diff options
| author | pierwill <pierwill@users.noreply.github.com> | 2021-10-25 15:43:07 -0500 |
|---|---|---|
| committer | pierwill <pierwill@users.noreply.github.com> | 2021-11-06 20:59:38 -0500 |
| commit | 521b1ee974296b4d2ecce79efaa10347642d1e3e (patch) | |
| tree | da7fe64daf83e05baa072b5d3415a2e4927370f5 /compiler/rustc_trait_selection/src/traits/project.rs | |
| parent | 089a016919b0a9daaed9f676804102d6ba3f8f9d (diff) | |
| download | rust-521b1ee974296b4d2ecce79efaa10347642d1e3e.tar.gz rust-521b1ee974296b4d2ecce79efaa10347642d1e3e.zip | |
Improve terminology around "after typeck"
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/project.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/project.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/project.rs b/compiler/rustc_trait_selection/src/traits/project.rs index b8c66931cbe..603234b6ba9 100644 --- a/compiler/rustc_trait_selection/src/traits/project.rs +++ b/compiler/rustc_trait_selection/src/traits/project.rs @@ -392,7 +392,7 @@ impl<'a, 'b, 'tcx> TypeFolder<'tcx> for AssocTypeNormalizer<'a, 'b, 'tcx> { // severe performance implications for large opaque types with // late-bound regions. See `issue-88862` benchmark. ty::Opaque(def_id, substs) if !substs.has_escaping_bound_vars() => { - // Only normalize `impl Trait` after type-checking, usually in codegen. + // Only normalize `impl Trait` outside of type inference, usually in codegen. match self.param_env.reveal() { Reveal::UserFacing => ty.super_fold_with(self), |