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