{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"self.at(cause,"}]}
        self.at(cause, self.param_env)
    ) -> Result<(), Diag<'a>> {
            .eq(DefineOpaqueTypes::Yes, expected, actual)