-
Notifications
You must be signed in to change notification settings - Fork 307
Multi-level narrowing not working properly #2745
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 bothtypecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects
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 bothtypecheckingusabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects
Type
Fields
Give feedbackNo fields configured for Bug.
Describe the Bug
Minimal repro:
No other type checker disallows this code.
Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxlKnHAAQCy8aA5jIgDrr2-2Yww9APrCI6CABdRACjgwoYADT1KudJJgbE9OJIBO9AD70Acupj0AvGYsBKegFoAfLfQdufL7oVhCajS1Ja1V1TQ1ubgEhAAtaYRh9fVx9YQBbVH0Aa0SZNJZUdjgdKAg9AG1mOkKYAF0HF3o8XCguHj4IIRlPb15YdDyCoodXAAYe3oxMenzqovLHAEZa-zCg3gBienRM5IB3Bj1DE3N3J1cjie8p%2Bk4QcoBRACUngHkn2rv6cRmh%2BAXlqtAhpNvQyPpBFBSDoAAbiGH0QhI%2Bg3GGnGAwq52Nq9XgQyQAV30PAAKvoCTArviiTwAGKoKDyEBKEAEyTQOAkciIEBbACq7NKklI9DABPQlHZ6jgkSwglFKQy0nQBLS2Fy%2BB04kkDQuBhxfGpxNFd1MqvV%2Bh0wHwAF87txmSBwZDSIRJLg0lAKFsAAqkCFgKG6KZ4fChdCQVhE1BS9CEbhbADKMEsMUkkmIxQA9FnnYHXSlWFmtFnMLhKHAswFI9HY1mFYZUAA3VDQVDYWDhmv6GMQdT0XDEWOc7hkSQxdSOJuJOB9ng2O4AZkIiwATPb0CAbSzUJKINPadAYBQ0FhQ1yt0A
(Only applicable for extension issues) IDE Information
No response