{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibmw25cmytzcveocqwij3llrrjbtxeri4bac4trtxapvhhktidhiu",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mmmcv5356mv2"
  },
  "path": "/t/pre-rfc-improved-ergonomics-for/24336#post_17",
  "publishedAt": "2026-05-24T14:33:07.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ais523:\n\n> The best way to avoid this error when using `Infallible` is `match _b {}`\n\nYes, there are a few ways in stable to note that the final line is unreachable. In any case, changing to `!` goes from \"error if you don't\" to \"lint if you do\", and therefore drastically changes expectations on how `TryTypeFoo<!>?` is handled.\n\n(I wouldn't describe anything discussed here as a bug or error, just an ergonomics concern)",
  "title": "Pre-RFC improved ergonomics for `!`"
}