Unclear error message or bug?

[Araq]

The compiler cannot know where the last read will happen as the indirection via 
`ref` introduces aliasing and makes it practically impossible to reason about 
-- for the compiler in this case, for the human being in more complex cases.