{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"&&"}]}
                    && tc.polarity() == ty::PredicatePolarity::Positive
                tc.self_ty().skip_binder().is_param(param.index)
                    && supertrait_def_ids(tcx, tc.def_id())