failing type test