{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // We need to report a `_` anyway, so listing other constructors would be redundant.
        {
            // `NonExhaustive` is displayed as `_` just like `Wildcard`, but it will be picked