fn determine_place_ancestry_relation<'tcx>(
    place_a: &Place<'tcx>,
    place_b: &Place<'tcx>
) -> PlaceAncestryRelation
Expand description

Determines the Ancestry relationship of Place A relative to Place B

PlaceAncestryRelation::Ancestor implies Place A is ancestor of Place B PlaceAncestryRelation::Descendant implies Place A is descendant of Place B PlaceAncestryRelation::Divergent implies neither of them is the ancestor of the other.