{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"ConstraintCategory::Predicate(_)"}]}
                ConstraintCategory::Predicate(_) | ConstraintCategory::OpaqueType => 4,
                // We handle predicates and opaque types specially; don't prioritize them here.
                // `Boring` constraints can correspond to user-written code and have useful spans,