Function relabel_leaf 

fn relabel_leaf<H: FsVerityHashValue>(
    leaf: &Leaf<H>,
    path: &Path,
    policy: &mut Policy,
)