{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                        // solution when we introduce generalized deref patterns. Also need to
                        // normally or through box-patterns. We'll have to figure out a proper
                        // prevent mixing of those two options.