diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2024-04-04 19:26:17 +0200 |
|---|---|---|
| committer | León Orell Valerian Liehr <me@fmease.dev> | 2024-04-04 19:26:17 +0200 |
| commit | 6f17b7f0aba4e07f5aa202ecb1e95e0e3d97f828 (patch) | |
| tree | c19af3fa8caa9b96c142f4085be823d5920c1323 /compiler/rustc_trait_selection/src/solve | |
| parent | 5dbaafdb9305df5332157e74eaaa55c615aa489f (diff) | |
| download | rust-6f17b7f0aba4e07f5aa202ecb1e95e0e3d97f828.tar.gz rust-6f17b7f0aba4e07f5aa202ecb1e95e0e3d97f828.zip | |
Rename HAS_PROJECTIONS to HAS_ALIASES etc.
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/normalize.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/normalize.rs b/compiler/rustc_trait_selection/src/solve/normalize.rs index b1c03e82cab..5b45e1a34e4 100644 --- a/compiler/rustc_trait_selection/src/solve/normalize.rs +++ b/compiler/rustc_trait_selection/src/solve/normalize.rs @@ -177,7 +177,7 @@ impl<'tcx> FallibleTypeFolder<TyCtxt<'tcx>> for NormalizationFolder<'_, 'tcx> { fn try_fold_ty(&mut self, ty: Ty<'tcx>) -> Result<Ty<'tcx>, Self::Error> { let infcx = self.at.infcx; debug_assert_eq!(ty, infcx.shallow_resolve(ty)); - if !ty.has_projections() { + if !ty.has_aliases() { return Ok(ty); } @@ -204,7 +204,7 @@ impl<'tcx> FallibleTypeFolder<TyCtxt<'tcx>> for NormalizationFolder<'_, 'tcx> { fn try_fold_const(&mut self, ct: ty::Const<'tcx>) -> Result<ty::Const<'tcx>, Self::Error> { let infcx = self.at.infcx; debug_assert_eq!(ct, infcx.shallow_resolve(ct)); - if !ct.has_projections() { + if !ct.has_aliases() { return Ok(ct); } |
