{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"if"}]}
                    if is_reported {
                RegionErrorKind::RegionError { fr_origin, longer_fr, shorter_fr, is_reported } => {
                        self.report_region_error(