diff --git a/src/constant.rs b/src/constant.rs index 1f0a39540d1..ab099292bf4 100644 --- a/src/constant.rs +++ b/src/constant.rs @@ -411,8 +411,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter { _: &mut InterpCx<'mir, 'tcx, Self>, _: Instance<'tcx>, _: &[OpTy<'tcx>], - _: Option>, - _: Option, + _: Option<(PlaceTy<'tcx>, BasicBlock)>, _: Option, ) -> InterpResult<'tcx, Option<&'mir Body<'tcx>>> { panic!(); @@ -423,8 +422,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter { _: Span, _: Instance<'tcx>, _: &[OpTy<'tcx>], - _: Option>, - _: Option, + _: Option<(PlaceTy<'tcx>, BasicBlock)>, _: Option, ) -> InterpResult<'tcx> { panic!(); @@ -468,7 +466,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter { _: &mut InterpCx<'mir, 'tcx, Self>, _: !, _: &[OpTy<'tcx, ()>], - _: Option>, + _: Option<(PlaceTy<'tcx, ()>, BasicBlock)>, _: Option, ) -> InterpResult<'tcx> { unreachable!();