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