Testing the optional type annotations