{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"}),"}]}
            }),
                RegionName { name: ebr.name, source: RegionNameSource::NamedEarlyParamRegion(span) }