Makai

Rust中，所有无法由类型系统证明正确性的代码（如裸指针的解引用），以及被`unsafe`修饰的`traits`，`functions`和`methods`，都被视为是unsafe的。