{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
    /// and then return the name `'1` for us to use.
    ///
    pub(crate) fn give_region_a_name(&self, fr: RegionVid) -> Option<RegionName> {