Shared via mypy Playground

main.py

from typing import Never

def foo() -> Never:
    while True:
        pass

def bar() -> tuple[int, ...]:
    return (foo(),)  # undetected unreachable
    
x = bar()
x += (1,2,3)