Added a test for an invalid type annotation