use std::borrow::Cow;
use rustc::mir::interpret::{
- read_target_uint, AllocId, GlobalAlloc, Allocation, ConstValue, EvalResult, GlobalId, Scalar,
+ read_target_uint, AllocId, GlobalAlloc, Allocation, ConstValue, InterpResult, GlobalId, Scalar,
};
use rustc::ty::Const;
use rustc_mir::interpret::{
const_: Const<'tcx>,
) -> CPlace<'tcx> {
// Adapted from https://github.com/rust-lang/rust/pull/53671/files#diff-e0b58bb6712edaa8595ad7237542c958L551
- let result = || -> EvalResult<'tcx, &'tcx Allocation> {
+ let result = || -> InterpResult<'tcx, &'tcx Allocation> {
let mut ecx = InterpretCx::new(
fx.tcx.at(DUMMY_SP),
ty::ParamEnv::reveal_all(),
false
}
- fn before_terminator(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> {
+ fn before_terminator(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> InterpResult<'tcx> {
panic!();
}
_: &[OpTy<'tcx>],
_: Option<PlaceTy<'tcx>>,
_: Option<BasicBlock>,
- ) -> EvalResult<'tcx, Option<&'mir Body<'tcx>>> {
+ ) -> InterpResult<'tcx, Option<&'mir Body<'tcx>>> {
panic!();
}
_: Instance<'tcx>,
_: &[OpTy<'tcx>],
_: PlaceTy<'tcx>,
- ) -> EvalResult<'tcx> {
+ ) -> InterpResult<'tcx> {
panic!();
}
fn find_foreign_static(
_: DefId,
_: ::rustc::ty::query::TyCtxtAt<'a, 'tcx, 'tcx>,
- ) -> EvalResult<'tcx, Cow<'tcx, Allocation>> {
+ ) -> InterpResult<'tcx, Cow<'tcx, Allocation>> {
panic!();
}
_: mir::BinOp,
_: ImmTy<'tcx>,
_: ImmTy<'tcx>,
- ) -> EvalResult<'tcx, (Scalar, bool)> {
+ ) -> InterpResult<'tcx, (Scalar, bool)> {
panic!();
}
- fn box_alloc(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: PlaceTy<'tcx>) -> EvalResult<'tcx> {
+ fn box_alloc(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: PlaceTy<'tcx>) -> InterpResult<'tcx> {
panic!();
}
()
}
- fn stack_push(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> {
+ fn stack_push(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> InterpResult<'tcx> {
Ok(())
}
- fn stack_pop(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: ()) -> EvalResult<'tcx> {
+ fn stack_pop(_: &mut InterpretCx<'a, 'mir, 'tcx, Self>, _: ()) -> InterpResult<'tcx> {
Ok(())
}
}