{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ConstraintCategory::IllegalUniverse"}]}
                ConstraintCategory::IllegalUniverse => 7,
                // Do not blame internal constraints.
                ConstraintCategory::Internal => 8,