intersection paramspec never fail

[KotlinIsland]

from __future__ import annotations

from typing import Callable, Never

from basedtyping import P

class A: pass

def f(fn: Callable[P, object]): ...

a: A & Callable[[Never], object]
b: A & Callable[[object], object]

f(a)  # error: Argument 1 to "f" has incompatible type "A & (Never) -> object"; expected "(*Never, **Never) -> object"  [arg-type]
f(b)