{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"tagged_discr"}]}
                    tagged_discr
                let tagged_discr = if delta == 0 {
                } else {