The "@safe vs struct destructor" dilemma

[Kagamin]

On Saturday, 12 April 2014 at 11:06:33 UTC, Michel Fortin wrote:
> Well, that's a general problem of @safe when dereferencing any 
> potentially null pointer. I think Walter's solution was to 
> insert a runtime check if the offset is going to be beyond a 
> certain size.

Well, if you don't access anything beyond a certain offset, it 
doesn't make sense to declare something that large. So, it would 
be a compile-time check, not run-time.