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