Describe the Bug
We ran into an issue trying to migrate someone where they wanted to narrow the .get(<key>) access on a dictionary (where the key was a literal string) from Any | None to Any
This would be a good thing to support, both for migration and general usability
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response