In the Q&As at the end Stroustrup does give us yet another version of the "We can just do that in C++" safety claim -- https://youtu.be/2BuJjaGuInI?t=4749

"I think that the approach I'm talking about with static analysis and rule based... for modern styles can deliver complete safety"

I expect over the next decade or so, a lot more resources will be thrown at unsuccessful attempts to solve this problem.