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