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

Reproduce el ejemplo de la configuración de mypy-play enlazada con Python 3.11 e inspecciona el diagnóstico [truthy-function] informado en truthy_function.py:6. Sigue el procesamiento de valores TypeVar restringidos en contextos booleanos y, a continuación, verifica que el ejemplo de Callable/Collection se comprueba correctamente sin la advertencia errónea.