{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"tc.self_ty().skip_binder().is_param(param.index)"}]}
                tc.self_ty().skip_binder().is_param(param.index)
            clause.as_trait_clause().is_some_and(|tc| {
                    && tc.polarity() == ty::PredicatePolarity::Positive