{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibmkvpsmkvp42sfj7ojn2fkuv3iii6dawvsnfsug344bkptjmccgi",
    "uri": "at://did:plc:b3tz6srl4ochk2wxn6dv6xpy/app.bsky.feed.post/3mid2x4p2znp2"
  },
  "path": "/Articles/1063124/",
  "publishedAt": "2026-03-30T14:24:34.000Z",
  "site": "https://lwn.net",
  "tags": [
    "rewrite the trait solver"
  ],
  "textContent": "Rust's compiler team has been working on a long-term project to \nrewrite the trait solver — the part of the compiler that determines which concrete function should be called when a programmer uses a trait method that is implemented for multiple types. The rewrite is intended to simplify future changes to the trait system, fix a handful of tricky soundness bugs, and provide faster compile times. It's also nearly finished, with a relatively small number of remaining blocking bugs.",
  "title": "[$] Rust's next-generation trait solver"
}