That matches my understanding too. If they had developed a technique to get a modern C++ compiler and rustc to generate exactly the same output for any program

That matches my understanding too. If they had developed a technique to get a modern C++ compiler and rustc to generate exactly the same output for any program (even a trivial one) I think that would be huge news and I would love to see all the linker hacking that would involve.