diff options
| author | Michael Goulet <michael@errs.io> | 2025-07-15 16:01:43 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-07-15 16:02:26 +0000 |
| commit | 3634f46fdb50887dd0f6877cab1d7f9cf45458af (patch) | |
| tree | 50c017be0406c1e6d28c507375fd755d368da15c /compiler/rustc_middle/src/ty/context.rs | |
| parent | 78fa79e7a642c8817b67d1c10d782c4c7b661a00 (diff) | |
| download | rust-3634f46fdb50887dd0f6877cab1d7f9cf45458af.tar.gz rust-3634f46fdb50887dd0f6877cab1d7f9cf45458af.zip | |
Add alias for ArgOutlivesPredicate
Diffstat (limited to 'compiler/rustc_middle/src/ty/context.rs')
| -rw-r--r-- | compiler/rustc_middle/src/ty/context.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/rustc_middle/src/ty/context.rs b/compiler/rustc_middle/src/ty/context.rs index 5a1d8d215d2..5570ba1d912 100644 --- a/compiler/rustc_middle/src/ty/context.rs +++ b/compiler/rustc_middle/src/ty/context.rs @@ -162,7 +162,7 @@ impl<'tcx> Interner for TyCtxt<'tcx> { type BoundRegion = ty::BoundRegion; type PlaceholderRegion = ty::PlaceholderRegion; - type RegionAssumptions = &'tcx ty::List<ty::OutlivesPredicate<'tcx, ty::GenericArg<'tcx>>>; + type RegionAssumptions = &'tcx ty::List<ty::ArgOutlivesPredicate<'tcx>>; type ParamEnv = ty::ParamEnv<'tcx>; type Predicate = Predicate<'tcx>; @@ -876,7 +876,7 @@ pub struct CtxtInterners<'tcx> { offset_of: InternedSet<'tcx, List<(VariantIdx, FieldIdx)>>, valtree: InternedSet<'tcx, ty::ValTreeKind<'tcx>>, patterns: InternedSet<'tcx, List<ty::Pattern<'tcx>>>, - outlives: InternedSet<'tcx, List<ty::OutlivesPredicate<'tcx, ty::GenericArg<'tcx>>>>, + outlives: InternedSet<'tcx, List<ty::ArgOutlivesPredicate<'tcx>>>, } impl<'tcx> CtxtInterners<'tcx> { @@ -2696,7 +2696,7 @@ slice_interners!( captures: intern_captures(&'tcx ty::CapturedPlace<'tcx>), offset_of: pub mk_offset_of((VariantIdx, FieldIdx)), patterns: pub mk_patterns(Pattern<'tcx>), - outlives: pub mk_outlives(ty::OutlivesPredicate<'tcx, ty::GenericArg<'tcx>>), + outlives: pub mk_outlives(ty::ArgOutlivesPredicate<'tcx>), ); impl<'tcx> TyCtxt<'tcx> { @@ -3116,8 +3116,8 @@ impl<'tcx> TyCtxt<'tcx> { where I: Iterator<Item = T>, T: CollectAndApply< - ty::OutlivesPredicate<'tcx, ty::GenericArg<'tcx>>, - &'tcx ty::List<ty::OutlivesPredicate<'tcx, ty::GenericArg<'tcx>>>, + ty::ArgOutlivesPredicate<'tcx>, + &'tcx ty::List<ty::ArgOutlivesPredicate<'tcx>>, >, { T::collect_and_apply(iter, |xs| self.mk_outlives(xs)) |
