Function read_slice_pointer 

fn read_slice_pointer<'tcx>(
    tcx: TyCtxt<'tcx>,
    alloc_id: AllocId,
    offset: Size,
) -> Result<Option<(AllocId, Size, u64)>, ()>