{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"&&"}]}
                    && let hir::TraitItemKind::Fn(sig, _) = ti.kind
                if let Node::TraitItem(ti) = self.infcx.tcx.hir_node_by_def_id(f_in_trait)
                    && let Some(ty) = sig.decl.inputs.get(local.index() - 1)