{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreic5gmzqukebl6asxaryrl4zuix4c3yoddaqbcr5hchfr2qbfbxumu",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mnrr6xavnif2"
  },
  "path": "/t/named-impl-with-implementation-selection-variant/24374#post_6",
  "publishedAt": "2026-06-08T11:28:30.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "> Your last example could just forbid the cast from `SortedList<(i32, i32)>` to `SortedList<(i32, i32) + PartialOrd use SortBy1>`\n\nNo, casting is the core part. And it's almost impossible to disable special cast.",
  "title": "Named impl with Implementation Selection Variant"
}