{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// predicates are available (note that super-predicates must not be cyclic).
    /// because we must evaluate them even during type conversion, often before the full
    query explicit_super_predicates_of(key: DefId) -> ty::EarlyBinder<'tcx, &'tcx [(ty::Clause<'tcx>, Span)]> {