{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":".map(RegionElement::Location),"}]}
            .map(RegionElement::Location),
            .map(|p| location_map.to_location(p))
    )