> There are plenty of GC languages which are still relatively-high performance and can thus be used for technically-challenging, "system"-like tasks

Unfortunately, they frequently lack the other attribute which makes C and C++ such pervasive solutions, namely portability.

Having "theoretical portability" (for example JVM bytecode) is not much use if your target hardware or operating system cannot support a JVM without you having to first port the JVM yourself.