{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"hir::PatKind::Never"}]}
            hir::PatKind::Never => true,
            // Does constitute a read, since it is equivalent to a discriminant read.