test for type check