diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-26 11:48:17 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-26 11:48:17 +0000 |
| commit | 1b8c7784e58de489331dd8957a889916a0dcbee3 (patch) | |
| tree | 17771a54655cbbf234a6f8600c73a931518da1ac /compiler/rustc_trait_selection/src/traits/mod.rs | |
| parent | 4f2532fb531919478b2655925cacb614d8c9f569 (diff) | |
| download | rust-1b8c7784e58de489331dd8957a889916a0dcbee3.tar.gz rust-1b8c7784e58de489331dd8957a889916a0dcbee3.zip | |
Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber::dummy` calls
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 edea13854ff..af1c253c3ad 100644 --- a/compiler/rustc_trait_selection/src/traits/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/mod.rs @@ -127,7 +127,7 @@ pub fn type_known_to_meet_bound_modulo_regions<'tcx>( ty: Ty<'tcx>, def_id: DefId, ) -> bool { - let trait_ref = ty::Binder::dummy(ty::TraitRef::new(infcx.tcx, def_id, [ty])); + let trait_ref = ty::TraitRef::new(infcx.tcx, def_id, [ty]); pred_known_to_hold_modulo_regions(infcx, param_env, trait_ref.without_const()) } |