Wrong auto-completion in the case of changing an Iterable when iterating over it

[iscas-zac]

Bug Report

Environment

OS

Operating System: Windows

MoonBit CLI Tools Version

moon 0.1.20241218 (5a38a2f 2024-12-18) ~\.moon\bin\moon.exe
moonc v0.1.20241218+f4a066f5f ~\.moon\bin\moonc.exe
moonrun 0.1.20241218 (5a38a2f 2024-12-18) ~\.moon\bin\moonrun.exe

Steps to Reproduce

let new_connect = {}
for _, v in new_connect {
  let (members, extensions) = v
  for i4 in extensions.iter() {
    new_connect[joinTo([i4, ..members]..sort())] = (
      [i4, ..members],
      Set::of([])
    )
  }
}

Expected Behavior

The extensions.iter() expression, it should fail to induce the full type of new_connect, alert that I am making changes to an Iterable when iterating over it, or accept all the code.

Actual Behavior

Instead, the language server makes a prediction for the iter method when I type extensions. (which indicates that it guesses the type correctly), but after I accept the auto-completion, it alerts on iter that "Type _/0 has no method iter." The case for members is the same.

Checklist

• (Optional) My case is minimal enough to be reproducible.

[Young-Flash]

cc @bzy-debug