Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection