{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    ty => fx.bcx.ins().iconst(ty, delta as i64),
                fx.bcx.ins().iadd(tagged_discr, delta)