{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                // `Boring` constraints can correspond to user-written code and have useful spans,
                ConstraintCategory::Predicate(_) | ConstraintCategory::OpaqueType => 4,
                // but don't provide any other useful information for diagnostics.