I believe so, with Rust being exhibit 1. Rust is known for finding rather a lot of bugs while compiling instead of during debugging. The quote you'll often see is: "If it compiles, it usually runs."
The Rust compiler enforces many code style conditions that you most probably want in your finished program... Type checking, only one thread writing to memory at a time to avoid race conditions, etc.
It is possible to imagine an AI version of Rust that takes this even further in the future.