flowistry_pdg_construction::local_analysis

Function is_split

Source
fn is_split<'tcx>(ty: Ty<'tcx>, context: DefId, tcx: TyCtxt<'tcx>) -> bool
Expand description

This used to be implemented as place_info.children(place).iter().any(|p| *p != place), but this is more efficient and should cause fewer spurious errors, since it only explores the type shallowly.