{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"NonExhaustive,"}]}
    NonExhaustive,
    /// used in `WitnessPat`.
    /// Fake extra constructor for variants that should not be mentioned in diagnostics. We use this