diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-11-18 21:29:26 +0000 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2022-11-25 00:04:54 -0300 |
| commit | 42cc8e8f4e5fe3864a9aca4f342ee2aff2ba696a (patch) | |
| tree | c08caf3e09182f251cfe2a6e167bb9dd58ab1b41 /compiler/rustc_hir_analysis/src | |
| parent | 08afabddac12adc114a8f963f1a10c47f3b3b2d9 (diff) | |
| download | rust-42cc8e8f4e5fe3864a9aca4f342ee2aff2ba696a.tar.gz rust-42cc8e8f4e5fe3864a9aca4f342ee2aff2ba696a.zip | |
Simplify a bunch of trait ref obligation creations
Diffstat (limited to 'compiler/rustc_hir_analysis/src')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/wfcheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/wfcheck.rs b/compiler/rustc_hir_analysis/src/check/wfcheck.rs index 7119f3a2386..d23c41ed690 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>( let tcx = wfcx.tcx(); let trait_ref = ty::Binder::dummy(tcx.mk_trait_ref(receiver_trait_def_id, [receiver_ty])); - let obligation = traits::Obligation::new(tcx, cause, wfcx.param_env, trait_ref.without_const()); + let obligation = traits::Obligation::new(tcx, cause, wfcx.param_env, trait_ref); if wfcx.infcx.predicate_must_hold_modulo_regions(&obligation) { true |