Cope with loading type annotations after switching file