2 ms·No on both counts, the entire point of "unsafe" is to form safe abstractions around unprovably safe code.by kinghajj 9y agoNo on both counts, the entire point of "unsafe" is to form safe abstractions around unprovably safe code.