{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"name:"}]}
            name: self.synthesize_region_name(),
        Some(RegionName {
            source: RegionNameSource::AnonRegionFromImplSignature(