DIP33: A standard exception hierarchy

[Jesse Phillips]

On Wednesday, 3 April 2013 at 16:19:25 UTC, Ali Çehreli wrote:
> >      auto myFile = "some.tmp";
> >      scope(exit) remove(myFile);
> >
> >      // setup code here
> >      manipulateFileRange(range);
>
> We are in agreement that it would be impossible to prove one 
> way or the other whether removing the file would be the right 
> thing to do or whether it will succeed.

All you need is one example where it would remove the wrong file, 
I just requested that it have higher accuracy than Exception 
since what you're claiming as invalid state is the same invalid 
state exceptions check for (I didn't expect this).