-
Notifications
You must be signed in to change notification settings - Fork 310
Closure narrowing loss after reassignment #2739
Copy link
Copy link
Closed
Labels
narrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothIssues with narrowing - root cause is usually narrowing, flow handling, or bothscoping-control-flowissues related to scoping and control flowissues related to scoping and control flowtypecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projectsv1-consider-addingTop-ranked but not in V1 milestone (consider adding)Top-ranked but not in V1 milestone (consider adding)
Metadata
Metadata
Assignees
Labels
narrowingIssues with narrowing - root cause is usually narrowing, flow handling, or bothIssues with narrowing - root cause is usually narrowing, flow handling, or bothscoping-control-flowissues related to scoping and control flowissues related to scoping and control flowtypecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projectsv1-consider-addingTop-ranked but not in V1 milestone (consider adding)Top-ranked but not in V1 milestone (consider adding)
Type
Fields
Give feedbackNo fields configured for Bug.
Describe the Bug
Minimal repro:
Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0BhVFCipssADropAY1Fw4g3OnQwZDCMsRS6uuphhg6AfWOsIDUwAo4MKGAA0dABa44DRHXeUAlHQC0AHx0AHLKMNroetFedmCEru50ALwubgxSOnoGRnLhNnF%2BQXQSIALKquqa0khZMXSUMAwArpRR5SpqGsoF9gnpPpnSWIZ0bE3GMhVd1VZFwR2V3VEAPqHhkdGNLW1KnVU9pVC4MsKJGSCDw1I5dDSoANYwxgCOzTCUpMZgzegycwEFsJROIYABtMEAXSc3khmz0UxUKTGE0RS1mV2iqAUH34aM4inQuH4YVUTlKaJmygaMDeEEamFKdToAGI6AAlGDYuAQNhRVBgBgfOjc3F0dCoSjUADurDYzPxqTRhDyqjmQ2itzeH1IAOK3nh9TZZEaYCgpE8AANFlTVutVJaCeLiSKFLyJaDGLg6Nbpgd0JbmdEZK1GugPHt0dSlRVdGyAKKebCoTD%2BbnumgwcNBvTbVpRMClbWfOV0YAhqVZhj9dwAXyZwy2TXzdGL5AcIGaGigcBI5EQIDZAFVuxZSHQfn9lnAhrcwLx7pZ0M0aNgPlZ8J5WAx5l4GJRDTSdgXSiEV2uD2X8PWQFIQB2TYZzYQGLQoBQ2QAFUim81eDA4AQdCIpAbCtKgyyEFIbIAMowDALgMAwxBwIgAD0aGPmapCELwbBoVmaGYCccBoSBvLgcsaETrwIoAG6oNAYiwMByigZR1R0LgxDTlB6BkAwrjoP4dEfDy0YlCAADMhAAIwAEwNiAtYdqgVSiQAYtAMAUGgWB4EQZDKUAA
(Only applicable for extension issues) IDE Information
No response