{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"#[non_exhaustive]"}]}
    #[non_exhaustive]
    /// Encoded value. DO NOT CONSTRUCT BY HAND; use `new_finite_{int,uint}`.
    Finite(u128),