So you're in the exact same case as you were in Java, which was my third point. But the type is a special type to let you know what you're doing is unsafe.