the code isn't going to truly be @safe. That's completely separate from whether a function is final or not though, and it would apply to pointers to structs as well as class references.
Indeed. So maybe the compiler find the get the largest object for a given program and protect the same amount of pages?
I guess pointers to C-style arrays would still be an issue, but probably not as frequently used in D.
