{"ast_node_type":"variable","tokens":[{"end":87,"kind":"keyword","start":0,"text":"&&"}]}
            && let hir::Node::TraitItem(trait_item) = tcx.hir_node_by_def_id(fn_def_id)
            tcx.hir_expect_opaque_ty(id).origin
            && let (_, hir::TraitFn::Required(..)) = trait_item.expect_fn()