On the garbage collection

[yuyichao]

@c42f

Would you worry about x being invalidated before the call to bar in (1)?

But this one, is a very good example.

That’s exactly what I glanced over with,

@yuyichao

the same as the reason you don’t need to preserve anything when you are not using pointers or finalizers. The compiler will make sure the use is valid one way or another, it really doesn’t matter how it does it as far as the user is concerned.

It merely turns an invisible use into a visible one and all the normal mechanism from the compiler kicks in afterwards.