fn eval_body_using_ecx<'mir, 'tcx, R: InterpretationResult<'tcx>>(
    ecx: &mut InterpCx<'mir, 'tcx, CompileTimeInterpreter<'mir, 'tcx>>,
    cid: GlobalId<'tcx>,
    body: &'mir Body<'tcx>
) -> InterpResult<'tcx, R>