{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// `infer_opaque_types` does, but can infer any universal region, not only
    /// Map the regions in the type to named regions. This is similar to what
    /// ones from the args for the opaque type. It also doesn't double check