{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreianw7nzeooyifirgq5p5bdwcjsramr4jx5yga776zgus5fwvw4ozu",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mkzlj3ucnpy2"
  },
  "path": "/t/mutation-creation-of-hir/24214#post_7",
  "publishedAt": "2026-05-04T08:24:55.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "In this case, rewriting the source program was required, so MIR was not a suitable option, as its output does not resemble the original.\n\nWhile it's clear that rustc is not designed for rewriting tools -- something that becomes apparent when building one  -- I'm curious about the use of `rust-analyzer` in this context. 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\nThanks in advance!",
  "title": "Mutation/Creation of HIR"
}