Function anonsocket_read

fn anonsocket_read<'tcx>(
    weak_self_ref: WeakFileDescriptionRef,
    len: usize,
    ptr: Pointer,
    dest: MPlaceTy<'tcx>,
    ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>

Read from AnonSocket and return the number of bytes read.