{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
/// - if we want to replace `*x` by non-reborrow `y` and `y` may be dead, we do not replace.
/// - if we want to replace `*x` by non-reborrow `y` and `y` must be live, we allow replacement;
///