{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"&&"}]}
                        && cx.tcx.is_diagnostic_item(sym::Into, trait_ref.def_id)
                        && trait_ref.self_ty() == param_ty // correct predicate for the param?
                        && let ty1 = trait_ref.args.type_at(1)