Struct should be invalid after move

[Sebastiaan Koppe]

On Tuesday, 27 November 2018 at 22:49:44 UTC, kinke wrote:
> Yeah, I also totally fail to see a reason why a moved-from 
> instance should be treated any different than a 
> default-allocated one.

You are right, it shouldn't. A Handle.init or one after a move 
are both invalid. Invalid from the standpoint that a Handle 
should always refer to some underlying resource. And when it 
provably doesn't, I want to compiler to help me.