{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    tagged_discr
                    bx.add(tagged_discr, bx.cx().const_uint_big(cast_to, delta))