{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                // multiple deref! patterns cannot be exhaustive together unless each is exhaustive
                // into account that multiple calls to deref may return different results. Hence
                // by itself.