{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// to a symbol is optimized away, then the symbol can be discarded.
    /// Symbols listed can be discarded if every reference from a ThinLTO module
    pub fn thinlto_codegen_add_cross_referenced_symbol(