Function _is_disjoint_base

mypy/stubtest.py:539–547

Return whether a type is a disjoint base at runtime, mirroring CPython's logic in typeobject.c. See PEP 800.

(typ: type[object])

def _is_disjoint_base(typ: type[object]) -> bool:
    """Return whether a type is a disjoint base at runtime, mirroring CPython's logic in typeobject.c.

    See PEP 800."""
    if typ is object:
        return True
    base = typ.__base__
    assert base is not None, f"Type {typ} has no base"
    return _shape_differs(typ, base)


def _verify_disjoint_base(