New type checking test.