(🐞) 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

Beginne damit, den bereitgestellten mypy-Reproduzierer auszuführen, und vergleiche den aufgelösten Typ mit dem Laufzeitwert. Verfolge den Pfad der Callable-Zusammenführung und Typinferenz, der für die Erzeugung von builtins.function verantwortlich ist, lege dann das beabsichtigte Ergebnis für inkompatible Callable-Typen fest und füge Abdeckung für sowohl das Klassen- als auch das Callable-Instanz-Beispiel hinzu.