{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Both regions must meet `is_free_or_static`.
    /// Subtle: one tricky case that this code gets correct is as