{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"Ok(self.at(cause,"}]}
                Ok(self.at(cause, param_env).sub(DefineOpaqueTypes::Yes, a, b))
            if a_is_expected {
            } else {