Even in a language where garbage collection or the type system theoretically prevents the existence of invalid pointers, they still can come into existence via the FFI. Even when both languages are safe in that respect, it's generally trivial to create a invalid pointer over the FFI.