{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
                // A never pattern matches all the values of its type (namely none). Moreover it
            PatKind::Never => {
                // must be compatible with other constructors, since we can use `!` on a type like