The gods intend that you use those annotations with a checker and some IDE that supports autocompletions and highlighting based on those.

They basically lure you into annotating types all over the place so that their products can work better.

When you work in an editor that doesn’t support those fancy things, you’ll feel exhausted pretty soon.