Safe C++ proposal is not being continued

This is the only document [0] linked from the article that has relevant information about "Core safety profiles," which were prioritized over "Safe C++." It defines the following profiles:

  - type
  - bounds
  - lifetime
  - arithmetic