{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreieq2qiwannn3fa2gzfor7vxksh4mcoez6ctbm4jwercgbwrrjg3dy",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mg6fykw3zld2"
  },
  "path": "/t/f-pattern-types-subsets-enums-using-as/24048#post_10",
  "publishedAt": "2026-03-03T04:44:27.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "DidingasLushis:\n\n> Based on the syntax supported by pattern types (when they emerge) would my example be re-worked to be like:\n\n\n    type MyErrorSubset = MyError is MyError::NotFound | MyError::PermissionDenied;\n    // or in an even brighter future...\n    type MyErrorSubset = MyError is _::NotFound | _::PermissionDenied;\n",
  "title": "F-pattern_types : Subsets enums using as"
}