Another fun insight gained this week: the unsafe keyword is actually two keywords in a trenchcoat. Much like `async/.await` there is the:
- function modifier (`unsafe fn`)
- call convention (`unsafe {}`)
5
1
30
Conversation
Back in the day (pre-1.0) I _think_ there were ideas to rename `unsafe {}` blocks to `trusted {}`, but I don't think it went anywhere. It seems quite similar to modal types, where you 'box' and 'unbox' terms… but not sure!
2
Oh, I found an RFC from 2014 by : github.com/rust-lang/rfcs – not sure if this is what I was remembering.