{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    /// synthesized lifetime name where required.
    /// Returns the name of the provided `Ty` (that must be a reference)'s region with a
    pub(super) fn get_region_name_for_ty(&self, ty: Ty<'tcx>, counter: usize) -> String {