Logan Hunt

@sobolevn , do you know someone who would be able to review this PR? Thanks!

I think I have found some similar behavior, though I don't know if I should make a separate issue for it. The following program fails type checking: ```python def some_func()...

Hm, that does fix it, but [PEP 613 (Scope Restrictions)](https://peps.python.org/pep-0613/#scope-restrictions) says that type aliases should not be allowed at the function scope, but Mypy seems to allow it: ```python class...

Hi @JelleZijlstra, is it alright if I take this on? My [Refurb](https://github.com/dosisod/refurb) project heavily uses the match statement (and Mypy under the hood!), and it would be awesome to be...

Hi @JelleZijlstra , I just opened a PR for this (see https://github.com/python/mypy/pull/13953). Who would be able to review this? Also, do you think that it would be possible for the...

Does the name itself need to be mangled? Hypothetically, we could do the following: ```c int ___3unicode1 /* 𝕦𝕟𝕚𝕔𝕠𝕕𝕖ℕ𝕒𝕞𝕖ℍ𝕖𝕣𝕖 */ = 123; ``` And, for every Unicode name in the...

Also, GCC 10 seems to support Unicode identifiers now:  https://godbolt.org/z/czbE9hEba

@JelleZijlstra and @JukkaL I can take this on if no one is working on it, since this is preventing me from using Mypyc to compile one of my projects. I...

Related, Mypyc crashes if `Outer` is replaced with a function instead of a class: ```python def f() -> None: class C: pass ``` ``` $ mypyc x.py Traceback (most recent...

Just saw that there is already an issue for this: https://github.com/mypyc/mypyc/issues/864