Added a unit test for failing type checking.