Adding another typeAnnotation test to (hopefully) increase code coverage