https://issues.dlang.org/show_bug.cgi?id=13572

--- Comment #7 from Ketmar Dark <ket...@ketmar.no-ip.org> ---
i.e. i always thought that @trusted code should survive external errors (like
courrupted data), and does check for null pointers, etc. but no code can
validate all invalid arguments passed by caller. there is no way to know if
passed pointer and length, for example, is absolutely valid. and if i'll change
`.ptr` field of delegate with closure, for example (it is publicly available,
and i can mess with it), and then pass that delegate to @safe... KABOOM. so i'm
pretty sure that my understanding is correct. actually, i'm so sure that there
is absolutely no reason in trying to change my mind on that. ;-)

--

Reply via email to