{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"#[note(lint_builtin_overridden_symbol_name)]"}]}
    #[note(lint_builtin_overridden_symbol_name)]
    #[diag(lint_builtin_no_mangle_fn)]
    NoMangleFn,