I really like this post but at the same time I just want to complain about the authors usage of "unsafe" when I think they should just be saying "incorrect". To me unsafe means "can invoke UB", and accidentally storing a m/s/s value in a m/s type doesn't seem like unsafe to me.https://twitter.com/read_rust/status/1218796770693529600 …
-
-
It's not exploiting an unsoundness bug in rusts type system. It's just a case of not properly coding the logic desired into the type system. The same way if you made a mistake at the value level it doesn't mean the type system is unsound.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.