{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                // not to overwhelm the user, but we do record them so as to potentially print
                // We only report the first region error. Subsequent errors are hidden so as
                // better diagnostics elsewhere...