{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"&&"}]}
                        && let trait_ref = trait_pred.skip_binder().trait_ref
                    if let Some(trait_pred) = pred.as_trait_clause()
                        && trait_ref.self_ty() == param_ty // correct predicate for the param?