{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// Statics are copied under two circumstances: When they are mutated, and when
    /// a `ModifiedStatic` error to be raised.
    /// `adjust_allocation` (see below) returns an owned allocation