That seems like a really neat idea. One other use case I could think of is gaming, where there is an incredible amount of load-bearing C++ code that's never re

That seems like a really neat idea. One other use case I could think of is gaming, where there is an incredible amount of load-bearing C++ code that's never realistically going to be rewritten, and strict memory safety is not necessarily a sine qua non in the way it is in other fields.