test failing type checks