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