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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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