{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // Disable the default mangler to avoid mangling the special "@feat.00" symbol name.
    if binary_format == BinaryFormat::Coff {
        let original_mangling = file.mangling();