{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// ignored by type checking so ends up being inferred to an empty region.
    /// `f::<'a>::{{closure}}`. The region parameter from f is essentially
    /// Calling `universal_upper_bound` for such a region gives `fr_fn_body`,