Wrong truthy-function with a constrained TypeVar

Bug Report

from typing import Callable, Collection, TypeVar

T = TypeVar("T", Callable[[], int], Collection[int])

def test(x: T) -> bool:
    if not x:
        return False
    return True

https://mypy-play.net/?mypy=latest&python=3.11&gist=ab304abd8323804aba46fb9227d6fbb2

Expected Behavior

The if condition is used for both functions and collections. It's used to filter out empty collections. This should type check without errors.

Actual Behavior

mypy returns an error which assumes that x can only be a function:

truthy_function.py:6: error: Function "x" could always be true in boolean context  [truthy-function]

Your Environment

• Mypy version used: 1.4.1 (compiled: yes)
• Python version used: 3.10.11

Reproduziere das Beispiel in der verknüpften mypy-play-Konfiguration mit Python 3.11 und untersuche die bei truthy_function.py:6 gemeldete Diagnose [truthy-function]. Verfolge die Verarbeitung von eingeschränkten TypeVar-Werten in booleschen Kontexten und verifiziere anschließend, dass das Callable/Collection-Beispiel ohne die fehlerhafte Warnung typgeprüft wird.