Detect illegal use of type annotation on `global` or `nonlocal` symbol

The use of a type annotation on a variable with `global` or `nonlocal` binding results in a "syntax error" at runtime, but pyright does not detect or report this error.

```python
def func():
global x
x: str # Runtime error
```

Start by reproducing the reported example in Pyright and compare its result with Python's runtime syntax error for an annotation on a global or nonlocal symbol. Trace the analyzer entry point that handles global/nonlocal bindings and variable annotations; done means Pyright reports this invalid construct consistently.

Written by the indexing model from the issue text.