I think it's better communicated as "compile-time guarantees that no runtime errors are unaccounted for". Though, that effectively means no runtime errors depe

I think it's better communicated as "compile-time guarantees that no runtime errors are unaccounted for". Though, that effectively means no runtime errors depending on your definition of runtime error.