Well, it also fails to compile. Which to me is better than blowing up at runtime, or worse, not blowing up but giving weird results.

This is a superpower during refactoring.

Not necessarily. This increased ease of understanding could also simply result in faster development speed - so same number of bugs, but more features in less time.

Not sure though.

So fewer bugs per feature. Assuming that the total number of features required is the same either way, by the end you're still left with fewer bugs.