unreachable idiom doesn't work on match of function call expression

[tamird]

playground

from typing import assert_never

def returns_union() -> int | float | None:
    return None
    
def broken() -> None:
    match returns_union():
        case None:
            pass
        case int():
            pass
        case float():
            pass
        case never:
            assert_never(never) # error: Argument 1 to "assert_never" has incompatible type "int | float | None"; expected "NoReturn"  [arg-type]
            
def not_broken() -> None:
    match _ := returns_union(): # assignment to unused variable fixes the problem
        case None:
            pass
        case int():
            pass
        case float():
            pass
        case never:
            assert_never(never)

[tamird]

Oops, duplicate of #12998, fixed on master.