{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// This is _not_ idempotent. Call `give_region_a_name` when possible.
    ///
    pub(crate) fn synthesize_region_name(&self) -> Symbol {