Function sccs_info 

fn sccs_info<'tcx>(
    infcx: &BorrowckInferCtxt<'tcx>,
    sccs: &Sccs<RegionVid, ConstraintSccIndex>,
)