{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"definitions,"}]}
            definitions,
            scc_annotations: scc_annotations.scc_to_annotation,
            outlives_constraints: Frozen::freeze(outlives_constraints),