Walk annotations in assert ground
Walk annotations in assert ground

Summary:
This case encodes an assumption that annotations will never have tvars in input
positions, which is not true specifically in the case of classes. For example, I
can write `class C { m(x) {} }` and export `(C: typeof C)` without an error.

Reviewed By: panagosg7

Differential Revision: D14834702

fbshipit-source-id: f13f4dcf6b650538d1ac233a7a6038311f2c8c4d

nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow,nmote/flow