- );
- if let Some(instance) = instance {
- let cid = GlobalId {
- instance,
- promoted: None,
- };
- match self.selcx.tcx().at(obligation.cause.span)
- .const_eval(obligation.param_env.and(cid)) {
- Ok(_) => ProcessResult::Changed(vec![]),
- Err(err) => ProcessResult::Error(
- CodeSelectionError(ConstEvalFailure(err)))
+ Some(obligation.cause.span),
+ ) {
+ Ok(_) => ProcessResult::Changed(vec![]),
+ Err(err) => {
+ ProcessResult::Error(CodeSelectionError(ConstEvalFailure(err)))