{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"ConstraintCategory::Internal"}]}
                ConstraintCategory::Internal => 8,
                ConstraintCategory::IllegalUniverse => 7,
            };