One way I think about it is that unit tests help me maintain invariances that the compiler for the current language can't do for me.

That saves me from having to test every combination of inputs.