[ty] Simplify an intersection of N & ~T to Never if B & ~T would simplify to Never, where B is the concrete base type of a NewType N by AlexWaygood · Pull Request #24086 · astral-sh/ruff (original) (raw)
Navigation Menu
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Conversation
Something isn't working
Multi-file analysis & type inference
labels
…olve to Never, where B is the concrete base type of a NewType N
[ty] Solve an intersection of [ty] Simplify an intersection of N & ~T to Never if B & ~T would solve to Never, where B is the concrete base type of a NewType NN & ~T to Never if B & ~T would simplify to Never, where B is the concrete base type of a NewType N
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
[ Show hidden characters]({{ revealButtonHref }})
Labels
Something isn't working
Multi-file analysis & type inference