{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            unwind.is_cleanup(),
        let switch_block = self.elaborator.patch().new_block(switch_block);