{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"constraint_graph:"}]}
    constraint_graph: Frozen<NormalConstraintGraph>,
    /// the SCC (see `constraint_sccs`) and for error reporting.