@@ -411,8 +411,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter {
411
411
_: & mut InterpCx < ' mir , ' tcx , Self > ,
412
412
_: Instance < ' tcx > ,
413
413
_: & [ OpTy < ' tcx > ] ,
414
- _: Option < PlaceTy < ' tcx > > ,
415
- _: Option < BasicBlock > ,
414
+ _: Option < ( PlaceTy < ' tcx > , BasicBlock ) > ,
416
415
_: Option < BasicBlock > ,
417
416
) -> InterpResult < ' tcx , Option < & ' mir Body < ' tcx > > > {
418
417
panic ! ( ) ;
@@ -423,8 +422,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter {
423
422
_: Span ,
424
423
_: Instance < ' tcx > ,
425
424
_: & [ OpTy < ' tcx > ] ,
426
- _: Option < PlaceTy < ' tcx > > ,
427
- _: Option < BasicBlock > ,
425
+ _: Option < ( PlaceTy < ' tcx > , BasicBlock ) > ,
428
426
_: Option < BasicBlock > ,
429
427
) -> InterpResult < ' tcx > {
430
428
panic ! ( ) ;
@@ -468,7 +466,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for TransPlaceInterpreter {
468
466
_: & mut InterpCx < ' mir , ' tcx , Self > ,
469
467
_: !,
470
468
_: & [ OpTy < ' tcx , ( ) > ] ,
471
- _: Option < PlaceTy < ' tcx , ( ) > > ,
469
+ _: Option < ( PlaceTy < ' tcx , ( ) > , BasicBlock ) > ,
472
470
_: Option < BasicBlock > ,
473
471
) -> InterpResult < ' tcx > {
474
472
unreachable ! ( ) ;
0 commit comments