{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
/// already mutable (as a sanity check).
/// allocation is interned immutably; if it is `Mutability::Mut`, then the allocation *must be*
///