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 denominat

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.