That's awesome though!
Newer tools CAN make use of new information in a better design, but it doesn't always happen.
I have been doing it for 20 years, and all the time Pascal had null-safe strings and C-like performance. And the strings even had mutability xor aliasing with copy on write