pub fn from_body<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> PtsGraph
Build a PtsGraph from a MIR body, pre-registering all locals and their type-determined field slots up to depth limits.