ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

I recently wrote this down (in an unpublished branch):

object describes the set of all possible values, while Never describes the empty set. The two types are complements of each other:

from knot_extensions import static_assert, is_equivalent_to, Not
from typing_extensions import Never

static_assert(is_equivalent_to(Not[object], Never))
static_assert(is_equivalent_to(Not[Never], object))

This duality is also reflected in other facts:

• Never is a subtype of every type, while object is a supertype of every type.
• Never is assignable to every type, while object is assignable from every type.
• Never is disjoint from every type, while object overlaps with every type.
• Building a union with Never is a no-op, intersecting with object is a no-op.
• Interecting with Never results in Never, building a union with object results in object.

Thanks for explicitly implementing the "intersecting with object is a no-op" part of this 👍