{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
/// change, so by not storing here we avoid having to maintain that as an invariant.
/// This does not store the type of the local; the type is given by `body.local_decls` and can never
#[derive(Copy, Clone, Debug)] // Miri debug-prints these