unsafe{} means "hey compiler, you cannot verify but this is safe, but I have." T... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

steveklabnik on Aug 25, 2017 | parent | context | favorite | on: Gtk-rs: The huge and long awaited release is final...

unsafe{} means "hey compiler, you cannot verify but this is safe, but I have." This code should be safe to use, unless the human involved has messed something up, in which case, it's a bug.

It's more that the possibility for UB now exists, than it definitely does.

jononor on Aug 26, 2017 | [–]

Maybe unsafe should be called assume_safe or presumably_safe or maybe_unsafe... People easily understand it wrong

steveklabnik on Aug 26, 2017 | | [–]

We considered many things, but in the end, nothing is perfect.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact