It most certainly does not.

It means that types are not subject to tests much like you don't test your tests.

types / tests are usually written in a denominational way and keeps the operational semantics of the program in check.