Type annotations are defined to be completely ignored by the interpreter. So, as of today, they’re useless for optimization. That could be changed, but hasn’t

Type annotations are defined to be completely ignored by the interpreter. So, as of today, they’re useless for optimization. That could be changed, but hasn’t been so far.