diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-15 21:57:41 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-05-16 14:24:22 -0400 |
| commit | 138881b315e41ccadaa5a64df6793cf9f05b542f (patch) | |
| tree | 4da78fb053524bf6153feec5bcb94b02ec1692bb /compiler/rustc_trait_selection/src/traits/mod.rs | |
| parent | 26846556021a9800d35bdb1de4d6d3b988c6d22f (diff) | |
| download | rust-138881b315e41ccadaa5a64df6793cf9f05b542f.tar.gz rust-138881b315e41ccadaa5a64df6793cf9f05b542f.zip | |
Uplift Goal to rustc_type_ir
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/mod.rs b/compiler/rustc_trait_selection/src/traits/mod.rs index ba7f7209900..b38d266271a 100644 --- a/compiler/rustc_trait_selection/src/traits/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/mod.rs @@ -142,7 +142,7 @@ pub fn type_known_to_meet_bound_modulo_regions<'tcx>( fn pred_known_to_hold_modulo_regions<'tcx>( infcx: &InferCtxt<'tcx>, param_env: ty::ParamEnv<'tcx>, - pred: impl Upcast<'tcx, ty::Predicate<'tcx>>, + pred: impl Upcast<TyCtxt<'tcx>, ty::Predicate<'tcx>>, ) -> bool { let obligation = Obligation::new(infcx.tcx, ObligationCause::dummy(), param_env, pred); |