[Bug] ICE invalid assign tmp local about move

[tnowacki]

No real workaround, if you expanded this to locals instead of temps, you will still get a borrow checker issue.

The minimal repro is

while (cond) {
   let tmp = e;
   let b = &tmp;
   ... use b ...
}

In the borrow checker, first time through the loop:

while (cond) {
   let tmp = e;  // assignment okay
   let b = &tmp; // b = { &tmp }
   ... use b ...
}

Second time through the loop

while (cond) {
   let tmp = e;  // ERROR assignment invalid! 'tmp' is still borrowed by 'b'!
   let b = &tmp; // b = { &tmp }
   ... use b ...
}

The error message just assumed this couldn't happen with a local variable created by the compiler, which happens if you make this example into:

while (cond) {
   let b = &e; 
   ... use b ...
}

You cannot borrow values on the stack in Move, so e gets bound to some local variable. and then the example is equivalent to the first one.

[tnowacki]

Ah yes this one again... Should really give a better error message as I don't htink we will fix the underlying issue anytime soon

[wrwg]

So what is the issue and what is the workaround?

[zekun000]

I think we just need a proper error message instead of ICE for now

[msmouse]

I think we just need a proper error message instead of ICE for now
And line / column of the issue? (IIUC currently we don't have them)