Bad type annotation.