{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// Calling `universal_upper_bound` for such a region gives `fr_fn_body`,
    /// ignored by type checking so ends up being inferred to an empty region.
    /// which has no `external_name` in which case we use `'{erased}` as the