fn anonsocket_read<'tcx>(
self_ref: FileDescriptionRef<AnonSocket>,
len: usize,
ptr: Pointer,
dest: &MPlaceTy<'tcx>,
ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>Expand description
Read from AnonSocket and return the number of bytes read.