escaping addresses of ref parameters - not

[Bartosz Milewski]

Of course, enforce(mdgt); is there only for documentation purposes. Just like null dereference, it halts the program, right?