{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
/// This is always sound(the program aborts, so no UB can occur after the block),
/// At this point, we can try "killing" blocks, by replacing their bodies with calls to `abort`.
/// and allows us to safely remove *a lot* of unneeded blocks.