{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
            // All locals have a backing allocation, even if the allocation is empty
        if let LocalValue::Live(Operand::Indirect(MemPlace { ptr, .. })) = local {
            // due to the local having ZST type. Hence we can `unwrap`.