Thanks, this isn't quite the right fix. It looks like this was in fact already fixed in #6039 (note the code was later moved around in #6312)

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

Thanks, this isn't quite the right fix. It looks like this was in fact already fixed in #6312

@hauntsaninja actually it was showing error that is why I tried to fix it. Please try to confirm this first.

It is fixed:

(env) akuli@akuli-desktop:~/typeshed$ cat a.py
reveal_type({'a': 1}.keys().mapping)
(env) akuli@akuli-desktop:~/typeshed$ mypy --python-version 3.10 --custom-typeshed-dir . a.py
a.py:1: note: Revealed type is "types.MappingProxyType[builtins.str*, builtins.int*]"