mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add fixme about the type_op_normalize query in NLL HRTB diagnostics

Browse Source
This commit is contained in:
Rémy Rakic 2021-08-18 09:49:32 +02:00
parent 311578d7f4
commit 8343806ff5
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_mir/src/borrow_check/diagnostics/bound_region_errors.rs
View File

@ -246,8 +246,14 @@ where
let mut fulfill_cx = <dyn TraitEngine<'_>>::new(tcx); let mut fulfill_cx = <dyn TraitEngine<'_>>::new(tcx);
let mut selcx = SelectionContext::new(infcx); let mut selcx = SelectionContext::new(infcx);
let (param_env, value) = key.into_parts();
// FIXME(lqd): Unify and de-duplicate the following with the actual
// `rustc_traits::type_op::type_op_normalize` query to allow the span we need in the
// `ObligationCause`. The normalization results are currently different between
// `AtExt::normalize` used in the query and `normalize` called below: the former fails
// to normalize the `nll/relate_tys/impl-fn-ignore-binder-via-bottom.rs` test. Check
// after #85499 lands to see if its fixes have erased this difference.
let (param_env, value) = key.into_parts();
let Normalized { value: _, obligations } = rustc_trait_selection::traits::normalize( let Normalized { value: _, obligations } = rustc_trait_selection::traits::normalize(
&mut selcx, &mut selcx,
param_env, param_env,