{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
                // better diagnostics elsewhere...
                // not to overwhelm the user, but we do record them so as to potentially print
                errors_buffer.push(RegionErrorKind::RegionError {