Function alloc_provenance 

fn alloc_provenance<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    alloc_id: AllocId,
) -> ConstantByteProvenance

The provenance to give to the bytes of a pointer into the given allocation.