{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"universal_regions:"}]}
        universal_regions: &UniversalRegions<'_>,
        constraint_sccs: &ConstraintSccs,
    ) -> Self {