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