{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
/// - if we want to replace `*x` by reborrow `*y` and `y` may be dead, we allow replacement and
/// To ensure this, we walk the body with the `MaybeStorageDead` dataflow analysis:
///   mark storage statements on `y` for removal;