{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifc64o5rcwmbpusordcon5nhunsrtpuvapzuv7ptrle2ehxy5og2e",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3ml25ubbzh2l2"
  },
  "path": "/t/mutation-creation-of-hir/24214#post_8",
  "publishedAt": "2026-05-04T16:16:50.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "FranciscoTGouveia:\n\n> Can it provide precise type information, or is it more of an approximation that may differ from the compiler's? Additionally, when checking whether a program compiles, is that effectively the ground truth, or may it differ from the compiler?\n\nThe compiler, of course, is the source of truth. Specifically when asking whether a program can compile, rust-analyzer is unlikely to give you accurate answers, since its diagnostics are very far and few currently.\n\nType information (and other things such as macro expansion, path resolution etc.) is pretty accurate, but we do have bugs and things we don't match rustc in. It's gotten considerably better in the last time, and is still improving. We also share some parts of rustc (e.g. the solver) and that helps staying conformant.",
  "title": "Mutation/Creation of HIR"
}