{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// are duplicates, but the others should probably be removed.
    /// boolean marker, like `#[used]`. It is not necessarily wrong that there
    WarnFollowing,