You manually write the type annotation, and then the IDE keeps track of the rest.

Instead keeping track of the type annotation in your head, and then also keeping track of the rest of the stuff in your head too.