`str.join` with and/or expression narrowing

[grievejia]

Describe the Bug

Minimal repro:

def format_types(types: set[type | None]) -> str:
    return ", ".join(  # pyrefly: no matching overload for str.join
        sorted((e and e.__name__) or "None" for e in types)
    )

Only Pyrefly has problem with this code.

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABGLgE4C2qALgPqunHwAUXPOIhpwYrANoCYNAD40AcrnQwAugEoaAWgB8I1g0QAddDVM0GYgK4MThkABoadwgCtcEdL1MBiGmQtgUKTC6Lg0LKwAxgAWHgDmNLgAbjAMULiomHSMegyu7ujGZsUijKwwmLy80hhZMITs7OioTDCNGjl2isp22Qw00h40UnBqRWZqDiD%2B1EGErLhMUBS%2BAAqkAUEitXj4NJFKkHHWbBBKhMa%2BAMow0tGsrMRCAPTPM4GkhIxxzzDoz5hcJE4M8DugjidWGd-n0aKgkqhoKhsLB9ocIMcGKclIliFClHALugyKxokpNCkGHBoTQALxOEAAZkIAEYAEx2YziVIMRhwFTGSzoCBMYhlCqaTAQCyRKEpOk0ADkGNCFkVxlCrE0FgAjpZpRKANYwUiaVCRSLwOAKxUAd1QNnV6BAAF97CBzXKYAAxaAwChoLC7EjkF1AA

(Only applicable for extension issues) IDE Information

No response