{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"})"}]}
                    })
                        source: RegionNameSource::SynthesizedFreeEnvRegion(fn_decl_span, note),
                }