It is already great that it managed to bring affine types into mainstream, making many programing languages designers consider how to integrate similar capabilities into existing languages, and maybe put some pressure on WG21 to take security more seriously (I remain a dreamer).

Outside very specific use cases, we already have Ada like safety on programing languages with automatic memory management.