{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
/// To ensure this, we walk the body with the `MaybeStorageDead` dataflow analysis:
/// When performing an instantiation, we must take care not to introduce uses of dangling locals.
/// - if we want to replace `*x` by reborrow `*y` and `y` may be dead, we allow replacement and