Trait EvalContextExtPrivate 

trait EvalContextExtPrivate<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn write_stat_buf(
        &mut self,
        metadata: FileMetadata,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, i32> { ... }
    fn file_type_to_d_type(
        &self,
        file_type: Result<FileType>,
    ) -> InterpResult<'tcx, i32> { ... }
    fn dir_entry_fields(
        &self,
        entry: Either<DirEntry, &'static str>,
    ) -> InterpResult<'tcx, DirEntry> { ... }
}

Provided Methods

fn write_stat_buf( &mut self, metadata: FileMetadata, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, i32>

fn file_type_to_d_type( &self, file_type: Result<FileType>, ) -> InterpResult<'tcx, i32>

fn dir_entry_fields( &self, entry: Either<DirEntry, &'static str>, ) -> InterpResult<'tcx, DirEntry>

Implementors

impl<'tcx> EvalContextExtPrivate<'tcx> for MiriInterpCx<'tcx>