{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                    && bound.polarity == ty::PredicatePolarity::Positive
                    tcx.at(span).explicit_implied_predicates_of(bound.def_id());