{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiai3bwdhea65hwsimeavnsott3oa4fnmqbyeyhhofc5wualbaabgy",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mig43w3eo6k2"
  },
  "path": "/t/yet-another-half-baked-idea-for-working-around-the-orphan-rule/24121#post_7",
  "publishedAt": "2026-04-01T05:38:00.000Z",
  "site": "https://internals.rust-lang.org",
  "tags": [
    "Struct Alias"
  ],
  "textContent": "burakumin:\n\n> Specifically, `impl PartialEq<Self> for i32` on the base type is inherited as `impl PartialEq<Self> for i32\\foo` on the facet.\n\nThat still sounds problematic because it introduces a distinction that doesn't currently exists, plus it doesn't fix all breakage.\n\nFYI there was a discussion of a very similar feature Struct Alias where some of these points were raised.",
  "title": "Yet another half-baked idea for working around the orphan rule"
}