{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiazkcgpochgh3l5hgd44nyin6phvau5mkghwuqzbj5qt5frgzpvmy",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mlehppysb7o2"
  },
  "path": "/t/type-inference-breaks-when-a-loop-is-added-between-inference-points/24232#post_3",
  "publishedAt": "2026-05-08T18:35:33.000Z",
  "site": "https://internals.rust-lang.org",
  "tags": [
    "Here is the playground link."
  ],
  "textContent": "Even with `rustc` :\n\n\n    > rustc main.rs\n\n    error[E0282]: type annotations needed\n      --> main.rs:28:28\n       |\n    28 |             println!(\"{}\", n.node_id);\n       |                            ^ cannot infer type\n\n    error: aborting due to 1 previous error\n\n    For more information about this error, try `rustc --explain E0282`.\n\n\nYou can test it using the playground link\n\nrxdiscovery:\n\n> Here is the playground link.",
  "title": "Type inference breaks when a loop is added between inference points"
}