Because the optimizer can no longer see through type annotations. The type of the expression is (Vectorof Integer) not (Vector Integer Integer Integer).