{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
    /// the file.
    /// new witness valid for before specialization. See the section on `unspecialize` at the top of
    ///