Per the newest spec in #1878:
5.1.1
When a variable declaration has a type annotation, it is an error for that type annotation to use the typeof operator to reference the variable being declared.
We haven't implemented this check though, should be in a test for #1898.