(🐞) incompatible `Callable`s are incorrectly joined into `builtins.function`

from typing import Callable, _T as T
from types import FunctionType

class C:
    def __init__(self, i: int=1): ...

def join(t1: T, t2: T) -> T: ...

c1: Callable[[], object] = C
c2: Callable[[int], object] = C
result = join(c1, c2)
reveal_type(result)  # Revealed type is "builtins.function"
print(isinstance(result, FunctionType)  # False

this is not an instance of builtins.function, it is a type[C]. it should be joined into a union, or something else, either object or Callable[..., object] or something

the same defect is observed with a non-function callable instance:

class C:
    def __call__(self, i: int = 1): ...

• reraised from #17017 as it wasn't resolved

Inizia eseguendo il riproduttore mypy fornito e confronta il tipo rivelato con il valore a runtime. Segui il percorso di combinazione dei callable e di inferenza dei tipi responsabile della produzione di builtins.function, quindi stabilisci il risultato previsto per i tipi callable incompatibili e aggiungi la copertura per entrambi gli esempi, quello della classe e quello dell’istanza callable.