diff options
author | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-25 16:45:08 +0000 |
---|---|---|
committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2023-04-25 16:47:00 +0000 |
commit | c727edc0b73a78622409bbb15c8375280829f0a5 (patch) | |
tree | 99de7842663e4d41ccfbfcf87e8b3dd4b42d1c3b /compiler/rustc_hir_analysis | |
parent | 91d495fdf47cd199212d6d892a6246ddc629b8ce (diff) | |
download | rust-c727edc0b73a78622409bbb15c8375280829f0a5.tar.gz |
Remove some useless `ty::Binder::dummy` calls
Diffstat (limited to 'compiler/rustc_hir_analysis')
-rw-r--r-- | compiler/rustc_hir_analysis/src/check/wfcheck.rs | 2 | ||||
-rw-r--r-- | compiler/rustc_hir_analysis/src/coherence/builtin.rs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs index 12f46bbb32b..2f2b9997f97 100644 --- a/compiler/rustc_hir_analysis/src/check/wfcheck.rs +++ b/compiler/rustc_hir_analysis/src/check/wfcheck.rs @@ -1784,7 +1784,7 @@ fn receiver_is_implemented<'tcx>( receiver_ty: Ty<'tcx>, ) -> bool { let tcx = wfcx.tcx(); - let trait_ref = ty::Binder::dummy(ty::TraitRef::new(tcx, receiver_trait_def_id, [receiver_ty])); + let trait_ref = ty::TraitRef::new(tcx, receiver_trait_def_id, [receiver_ty]); let obligation = traits::Obligation::new(tcx, cause, wfcx.param_env, trait_ref); diff --git a/compiler/rustc_hir_analysis/src/coherence/builtin.rs b/compiler/rustc_hir_analysis/src/coherence/builtin.rs index 78c9bc1b2b5..de9d8fa53d1 100644 --- a/compiler/rustc_hir_analysis/src/coherence/builtin.rs +++ b/compiler/rustc_hir_analysis/src/coherence/builtin.rs @@ -340,11 +340,11 @@ fn visit_implementation_of_dispatch_from_dyn(tcx: TyCtxt<'_>, impl_did: LocalDef tcx, cause.clone(), param_env, - ty::Binder::dummy(ty::TraitRef::new( + ty::TraitRef::new( tcx, dispatch_from_dyn_trait, [field.ty(tcx, substs_a), field.ty(tcx, substs_b)], - )), + ), )); } let errors = ocx.select_all_or_error(); |