{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreignlhnnj7pgvv4fvhz5brz5p3hjb3wh7dvmuvktdxrkxtko7trmam",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mlehplqx5py2"
  },
  "path": "/t/type-inference-breaks-when-a-loop-is-added-between-inference-points/24232#post_4",
  "publishedAt": "2026-05-08T18:41:21.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "Right, your playground demonstrated that. But your text says RA specifically. Do you have any reason to think it's RA specific?\n\nAdditionally, do you have any reason to think it's actually \"recently\"? I spot-checked the example back through 1.60 and didn't find a `rustc` version it worked on.",
  "title": "Type inference breaks when a loop is added between inference points"
}