So more expressive type systems? Rust has made entire classes of bugs impossible, and you can do even better in Idris or some other dependent type theory. People don't do it because it's expensive and they're not trained it.

No it never eliminated all bugs, but if we're conflating the two problems you don't need to eliminate all hallucinations either, you just need to make them very unlikely, or a consequence of your bad specifications.