Function is_subtype

mypyc/subtype.py:27–41

(left: RType, right: RType, *, relaxed: bool = False)

def is_subtype(left: RType, right: RType, *, relaxed: bool = False) -> bool:
    if is_object_rprimitive(right):
        return True
    elif isinstance(right, RUnion):
        if isinstance(left, RUnion):
            for left_item in left.items:
                if not any(
                    is_subtype(left_item, right_item, relaxed=relaxed)
                    for right_item in right.items
                ):
                    return False
            return True
        else:
            return any(is_subtype(left, item, relaxed=relaxed) for item in right.items)
    return left.accept(SubtypeVisitor(right, relaxed=relaxed))


class SubtypeVisitor(RTypeVisitor[bool]):