{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> Self {
        rcc: RegionConstraintCollector<'a, 'tcx>,
        let dummy_scc_universe = SccUniverse { universe: max_universe, region: None };