Memory safety is guaranteed in the safe subset of the language, and we plan to use a naming convention to mark unsafe constructs, like in Swift. One notable di

Memory safety is guaranteed in the safe subset of the language, and we plan to use a naming convention to mark unsafe constructs, like in Swift. One notable difference: pointers are not unsafe; only their dereference operation is.