I mean, MyPy does have some core PEP support, but remains optional for Python. If something as core as type checking can be an optional feature, I'd be surpris

I mean, MyPy does have some core PEP support, but remains optional for Python. If something as core as type checking can be an optional feature, I'd be surprised if a heftier brain than mine can't get most of the way to a C++ borrow checker optionally. Doesn't C++ famously fetish complexity? Wasn't pi once calculated at compile-timel with a C++ template? Where is my Obfuscated C entry that looks like an ASCII Robotron game and borrow-checks, say, the Linux kernel?