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 the example in the linked mypy-play configuration with Python 3.11 and inspect the [truthy-function] diagnostic reported at truthy_function.py:6. Trace the handling of constrained TypeVar values in boolean contexts, then verify that the Callable/Collection example type-checks without the erroneous warning.