There are a few aspects that LLMs are just not capable of, and one of them is understanding and observing implicit invariants.

(That’s getting to be funny if the tech is used for a while on larger, complex, multi-threaded C++ code bases. Given that C++ appears already less popular with more experienced people than with juniors, I am very doubtful whether C++ will survive that clash.)