Comment by ModernMech

It's doing static analysis that many other languages don't do at compile time.