bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add const-evaluatable_checked check back in

Browse source
This commit is contained in:
Bastian Kauschke 2020-09-18 17:36:11 +02:00
parent 09e6254496
commit b7641209d7
1 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

32
compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
View file

@ -30,24 +30,24 @@ pub fn is_const_evaluatable<'cx, 'tcx>(
span: Span, span: Span,
) -> Result<(), ErrorHandled> { ) -> Result<(), ErrorHandled> {
debug!("is_const_evaluatable({:?}, {:?})", def, substs); debug!("is_const_evaluatable({:?}, {:?})", def, substs);
// `AbstractConst::new` already returns `None` if `const_evaluatable_checked` if infcx.tcx.features().const_evaluatable_checked {
// is not active, so we don't have to explicitly check for this here. if let Some(ct) = AbstractConst::new(infcx.tcx, def, substs) {
if let Some(ct) = AbstractConst::new(infcx.tcx, def, substs) { for pred in param_env.caller_bounds() {
for pred in param_env.caller_bounds() { match pred.skip_binders() {
match pred.skip_binders() { ty::PredicateAtom::ConstEvaluatable(b_def, b_substs) => {
ty::PredicateAtom::ConstEvaluatable(b_def, b_substs) => { debug!("is_const_evaluatable: caller_bound={:?}, {:?}", b_def, b_substs);
debug!("is_const_evaluatable: caller_bound={:?}, {:?}", b_def, b_substs); if b_def == def && b_substs == substs {
if b_def == def && b_substs == substs { debug!("is_const_evaluatable: caller_bound ~~> ok");
debug!("is_const_evaluatable: caller_bound ~~> ok"); return Ok(());
return Ok(()); } else if AbstractConst::new(infcx.tcx, b_def, b_substs)
} else if AbstractConst::new(infcx.tcx, b_def, b_substs) .map_or(false, |b_ct| try_unify(infcx.tcx, ct, b_ct))
.map_or(false, |b_ct| try_unify(infcx.tcx, ct, b_ct)) {
{ debug!("is_const_evaluatable: abstract_const ~~> ok");
debug!("is_const_evaluatable: abstract_const ~~> ok"); return Ok(());
return Ok(()); }
} }
_ => {} // don't care
} }
_ => {} // don't care
} }
} }
} }