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.