1
1
use std:: borrow:: Cow ;
2
2
3
3
use rustc:: mir:: interpret:: {
4
- read_target_uint, AllocId , GlobalAlloc , Allocation , ConstValue , EvalResult , GlobalId , Scalar ,
4
+ read_target_uint, AllocId , GlobalAlloc , Allocation , ConstValue , InterpResult , GlobalId , Scalar ,
5
5
} ;
6
6
use rustc:: ty:: Const ;
7
7
use rustc_mir:: interpret:: {
@@ -140,7 +140,7 @@ fn trans_const_place<'a, 'tcx: 'a>(
140
140
const_ : Const < ' tcx > ,
141
141
) -> CPlace < ' tcx > {
142
142
// Adapted from https://github.com/rust-lang/rust/pull/53671/files#diff-e0b58bb6712edaa8595ad7237542c958L551
143
- let result = || -> EvalResult < ' tcx , & ' tcx Allocation > {
143
+ let result = || -> InterpResult < ' tcx , & ' tcx Allocation > {
144
144
let mut ecx = InterpretCx :: new (
145
145
fx. tcx . at ( DUMMY_SP ) ,
146
146
ty:: ParamEnv :: reveal_all ( ) ,
@@ -349,7 +349,7 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
349
349
false
350
350
}
351
351
352
- fn before_terminator ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > ) -> EvalResult < ' tcx > {
352
+ fn before_terminator ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > ) -> InterpResult < ' tcx > {
353
353
panic ! ( ) ;
354
354
}
355
355
@@ -359,7 +359,7 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
359
359
_: & [ OpTy < ' tcx > ] ,
360
360
_: Option < PlaceTy < ' tcx > > ,
361
361
_: Option < BasicBlock > ,
362
- ) -> EvalResult < ' tcx , Option < & ' mir Body < ' tcx > > > {
362
+ ) -> InterpResult < ' tcx , Option < & ' mir Body < ' tcx > > > {
363
363
panic ! ( ) ;
364
364
}
365
365
@@ -368,14 +368,14 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
368
368
_: Instance < ' tcx > ,
369
369
_: & [ OpTy < ' tcx > ] ,
370
370
_: PlaceTy < ' tcx > ,
371
- ) -> EvalResult < ' tcx > {
371
+ ) -> InterpResult < ' tcx > {
372
372
panic ! ( ) ;
373
373
}
374
374
375
375
fn find_foreign_static (
376
376
_: DefId ,
377
377
_: :: rustc:: ty:: query:: TyCtxtAt < ' a , ' tcx , ' tcx > ,
378
- ) -> EvalResult < ' tcx , Cow < ' tcx , Allocation > > {
378
+ ) -> InterpResult < ' tcx , Cow < ' tcx , Allocation > > {
379
379
panic ! ( ) ;
380
380
}
381
381
@@ -384,11 +384,11 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
384
384
_: mir:: BinOp ,
385
385
_: ImmTy < ' tcx > ,
386
386
_: ImmTy < ' tcx > ,
387
- ) -> EvalResult < ' tcx , ( Scalar , bool ) > {
387
+ ) -> InterpResult < ' tcx , ( Scalar , bool ) > {
388
388
panic ! ( ) ;
389
389
}
390
390
391
- fn box_alloc ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > , _: PlaceTy < ' tcx > ) -> EvalResult < ' tcx > {
391
+ fn box_alloc ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > , _: PlaceTy < ' tcx > ) -> InterpResult < ' tcx > {
392
392
panic ! ( ) ;
393
393
}
394
394
@@ -405,11 +405,11 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for TransPlaceInterpreter {
405
405
( )
406
406
}
407
407
408
- fn stack_push ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > ) -> EvalResult < ' tcx > {
408
+ fn stack_push ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > ) -> InterpResult < ' tcx > {
409
409
Ok ( ( ) )
410
410
}
411
411
412
- fn stack_pop ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > , _: ( ) ) -> EvalResult < ' tcx > {
412
+ fn stack_pop ( _: & mut InterpretCx < ' a , ' mir , ' tcx , Self > , _: ( ) ) -> InterpResult < ' tcx > {
413
413
Ok ( ( ) )
414
414
}
415
415
}
0 commit comments