{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".map(|infer_ok|"}]}
                            .map(|infer_ok| fcx.register_infer_ok_obligations(infer_ok))
                            .eq(DefineOpaqueTypes::Yes, src_obj, dst_obj)
                            .is_err()