Bug report

Bug description:

Compiling this function

deff(x):a:xreturnx

Gives this bytecode:

  --           MAKE_CELL                0 (x)   1           RESUME                   0   3           LOAD_DEREF               0 (x)               RETURN_VALUE

Local variable annotations are supposed to be ignored by Python (they are used by static type checkers only),
so the addition of the annotation should not change the generated code.
The expected disassembly:

   1           RESUME                   0   3           LOAD_LAST                0 (x)               RETURN_VALUE

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs

• gh-130924: Do not create cells for usages of names in local annotations #131843