{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"Renamed(String),"}]}
    Renamed(String),
    /// The lint has been renamed to a new name.
    /// The lint has been removed due to the given reason.