{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
    /// used in `WitnessPat`.
    /// for those types for which we cannot list constructors explicitly, like `f64` and `str`. Only
    NonExhaustive,