{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"#[label(resolve_name_defined_multiple_time_redefined)]"}]}
    #[label(resolve_name_defined_multiple_time_redefined)]
    },
    Redefined {