Andreas Rumpf

`panicStop` has indeed a bug but so far my patch doesn't work. ;-)

It should be disallowed as lifetime extensions typically cannot be done consistently plus they are harder to understand IMO.

You would also complain if we produced ``NI32`` for ``cint``, the problem is that ``cint* {.importc: "int", nodecl.} = int32`` is schizophrenic.

I don't understand how "Dereference operator never copies" can be a reasonable requirement. `let x = p[]; p[].field = 3; # oops`

Correct but then that's exactly where the copy comes from in the `for` construct.

The compiler is supposed to reorder `type Foo = enum A, B = -1` to `type Foo = enum B = -1, A`. In `semtypes.nim`, `firstOrd` etc. continue to work.

This is still not correct as it can introduce leaks for code like `var x = create(); x = create()`. The idea here is that .byref types do not have...

I think so, yes, but making =sink an .error just because you want to tie the object to a stack location is wrong regardless.

Yeah well, we need more borrow checking before we need more lent/var support.

I had no idea it does work with `if`.