{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":".map(|infer_ok|"}]}
            .map(|infer_ok| self.register_infer_ok_obligations(infer_ok))
            .eq(DefineOpaqueTypes::Yes, expected, actual)
            .map_err(|e| {