inference fails with generic intersection of `Callable`

```py
from __future__ import annotations

from typing import Callable

AnyCallable = Callable[..., object] # type: ignore[no-any-explicit]

def wrap[TCallable: AnyCallable, **P, R](fn: TCallable & Callable[P, R]): ...

def f() -> int: ...

wrap(f) # Argument 1 to "wrap" has incompatible type "def () -> int"; expected "Never & (*Never, **Never) -> Never"
```

The issue provides a self-contained Python reproducer but names no source files or tests. Run the snippet through basedmypy first, then trace callable generic and intersection inference. Done means the shown wrap(f) call is accepted without the reported incompatible-type error.

Written by the indexing model from the issue text.