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