{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"{"}]}
        {
            || self.regioncx.universal_regions().defining_ty.is_const()
            return self.report_general_error(errci);