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

Required Methods§

source

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§

source§

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

source§

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

source§

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

source§

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

Implementors§