{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"///"}]}
    /// new witness valid for before specialization. See the section on `unspecialize` at the top of
    /// Reverses specialization. Given a witness obtained after specialization, this constructs a
    /// the file.