{"ast_node_type":"other","tokens":[{"end":110,"kind":"keyword","start":0,"text":"//"}]}
            // Stop after the first error, it gets too noisy otherwise, and does not provide more information.
        {
            errors_buffer.push(RegionErrorKind::BoundUniversalRegionError {