{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                    .patch_terminator(bb, TerminatorKind::Goto { target: drop_bb });
            DropStyle::Open => {