Trait InterpretationResult

pub trait InterpretationResult<'tcx> {
    // Required method
    fn make_result(
        mplace: MPlaceTy<'tcx>,
        ecx: &mut InterpCx<'tcx, CompileTimeMachine<'tcx>>,
    ) -> Self;
}

Required Methods

fn make_result( mplace: MPlaceTy<'tcx>, ecx: &mut InterpCx<'tcx, CompileTimeMachine<'tcx>>, ) -> Self

This function takes the place where the result of the evaluation is stored and prepares it for returning it in the appropriate format needed by the specific evaluation query.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> InterpretationResult<'tcx> for ConstAlloc<'tcx>

fn make_result( mplace: MPlaceTy<'tcx>, _ecx: &mut InterpCx<'tcx, CompileTimeMachine<'tcx>>, ) -> Self

impl<'tcx> InterpretationResult<'tcx> for ConstAllocation<'tcx>

fn make_result( mplace: MPlaceTy<'tcx>, ecx: &mut InterpCx<'tcx, CompileTimeMachine<'tcx>>, ) -> Self

Implementors