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

Riproduci l’esempio nella configurazione mypy-play collegata con Python 3.11 e analizza la diagnostica [truthy-function] segnalata in truthy_function.py:6. Traccia la gestione dei valori TypeVar vincolati nei contesti booleani, quindi verifica che l’esempio Callable/Collection venga controllato dal punto di vista dei tipi senza l’avviso errato.