If you use unsafe improperly, it is possible to encounter UB in "safe" code which relies on the unsafe code being correct.