4 ms·
> But strictly speaking this is wrong! I agree, and I'm making a correction. Instead of "foo1 will never cause UB without the caller committing UB first", the
by oconnor663 4y ago
> But strictly speaking this is wrong!
I agree, and I'm making a correction. Instead of "foo1 will never cause UB without the caller committing UB first", the article now reads "foo1 will never cause UB without the caller writing unsafe first." Thank you!
- burntsushi 4y agoIMO that correction isn't needed, because it goes without saying in every circumstance anyway. You always need to write 'unsafe' in order to introduce UB. (Modulo Rust bugs and environment trickery.) But I do agree that your correction is, in fact, correct. :-)