Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitivepyrefly.org6 pointsocamoss5 months ago