{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihbzzfpq7iyyb7lzaio52zs7nmmxhvanblk7bafvlcuv5mh6zys2a",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mj4wvnbrqg32"
  },
  "path": "/t/pre-pre-rfc-allow-exclusion-of-trait-methods-for-certain-unsatisfiable-where-bounds/24160#post_5",
  "publishedAt": "2026-04-09T19:33:37.000Z",
  "site": "https://internals.rust-lang.org",
  "tags": [
    "allow negative reasoning, but capped by the orphan rules"
  ],
  "textContent": "Apersoma:\n\n> The trait in the where bound that is unsatisfiable must be defined in the same crate\n\nIncidentally, this concept of allow negative reasoning, but capped by the orphan rules already exists in the language. (Which aren't \"the same crate\" really, but that's besides the point.)",
  "title": "[Pre-pre RFC] Allow exclusion of trait methods for (certain) unsatisfiable where bounds"
}