Better match narrowing for irrefutable mapping patterns (#20906)
Fixes #18950
Fixes this comment
https://github.com/python/mypy/issues/19081#issuecomment-2920053885
(previously improved on by https://github.com/python/mypy/pull/20744 and
https://github.com/python/mypy/pull/20782 )
