type validator testing