{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreib7rw4d4ja34pnu3losza4snpggz46k62birl3gvhwkhx64sawpfq",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mo73lgy5joo2"
  },
  "path": "/t/add-new-reserved-lifetime-owned/24129#post_15",
  "publishedAt": "2026-06-13T19:21:11.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "This sounds like you want, for any `'a` and `'b` such that `'a: 'b`, to be able to convert from `&'a str` to `&'b str`, and to be able to convert from `&'a str` to `String`.\n\nYou don’t need to fill in a unique minimum `'b` for the `String` case. You could just say that _any_ `'b` works. This is more-or-less how I abstract over “there’s a particular minimum” and “there’s no minimum” in my own crates.\n\nThis is why I brought up higher-ranked trait bounds (in this case `for<'b>`).",
  "title": "Add new reserved lifetime: 'owned"
}