failing type test case