assertpy 2.35.0__py3-none-any.whl

assertpy/_engine/_check_typing.py

@@ -0,0 +1,753 @@
+"""The verdict twin of every assertion protocol, generated by `scripts/generate_check_protocols.py`.
+
+Do not edit.  `check()` hands back the twin of the view it was reached from, so an assertion asked for
+a verdict is checked against the same value type it would be checked against normally:
+`assert_that(1).check().starts_with("x")` is a type error rather than a runtime one.
+
+Only operations that reach a verdict appear.  A pivot or a configurer has none to report, and both
+proxies refuse them at runtime; see `assertpy/_engine/_operations.py`.
+"""
+
+from __future__ import annotations
+
+from typing import TYPE_CHECKING
+
+if TYPE_CHECKING:
+    import datetime
+    import re
+    from collections.abc import Callable, Hashable, Iterable, Mapping, Sized
+    from pathlib import Path
+    from typing import Any, Protocol, SupportsFloat, SupportsIndex, TypeVar, overload
+
+    from typing_extensions import TypeIs
+
+    from .._matcher_impls import ClassInfo, ExceptionInfo
+    from ..errors import AssertionOutcome
+    from ..matchers import Matcher
+    from ._compat import Self
+    from ._introspection import MappingLike
+
+    # the type variables come from the module these twins mirror, so the two cannot disagree about a binding
+    from ._typing import (
+        _U,
+        _ArrayT_co,
+        _CapableT,
+        _FrameT_co,
+        _Holding,
+        _Landed,
+        _ObjectAssertion,
+        _Other,
+        _P_co,
+        _T_co,
+    )
+
+    _KeySpecs = Hashable | list[Hashable] | set[Hashable] | frozenset[Hashable]
+
+    _E = TypeVar("_E")
+    # a verdict reads no exception back, so the twin's is covariant where the view's is not
+    _Exc_co = TypeVar("_Exc_co", bound=BaseException, covariant=True)
+    _N = TypeVar("_N", int, float)
+    _K = TypeVar("_K")
+    _V = TypeVar("_V")
+    _B_co = TypeVar("_B_co", bytes, bytearray, covariant=True)
+    _U2 = TypeVar("_U2")
+    _U3 = TypeVar("_U3")
+    _Number = SupportsFloat
+
+    class _CheckMembershipAssertion(Protocol):
+        """The verdict twin of `_MembershipAssertion`."""
+
+        def is_subset_of(self, *supersets: object, allow_empty: bool = ...) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckSizedAssertion(Protocol):
+        """The verdict twin of `_SizedAssertion`."""
+
+        def has_same_size_as(self, other: Sized) -> AssertionOutcome: ...
+        def has_size_greater_than(self, size: SupportsIndex) -> AssertionOutcome: ...
+        def has_size_less_than(self, size: SupportsIndex) -> AssertionOutcome: ...
+        def has_size_between(self, low: SupportsIndex, high: SupportsIndex) -> AssertionOutcome: ...
+        def is_empty(self) -> AssertionOutcome: ...
+        def is_not_empty(self) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckFilesystemAssertion(Protocol):
+        """The verdict twin of `_FilesystemAssertion`."""
+
+        def exists(self) -> AssertionOutcome: ...
+        def does_not_exist(self) -> AssertionOutcome: ...
+        def is_file(self) -> AssertionOutcome: ...
+        def is_directory(self) -> AssertionOutcome: ...
+        def is_named(self, filename: str) -> AssertionOutcome: ...
+        def is_child_of(self, parent: object) -> AssertionOutcome: ...
+        def is_readable(self) -> AssertionOutcome: ...
+        def is_writable(self) -> AssertionOutcome: ...
+        def is_executable(self) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckRealNumberAssertion(Protocol):
+        """The verdict twin of `_RealNumberAssertion`."""
+
+        def is_positive(self) -> AssertionOutcome: ...
+        def is_negative(self) -> AssertionOutcome: ...
+        def is_nan(self) -> AssertionOutcome: ...
+        def is_not_nan(self) -> AssertionOutcome: ...
+        def is_inf(self) -> AssertionOutcome: ...
+        def is_not_inf(self) -> AssertionOutcome: ...
+        def is_not_between(self, low: _Number, high: _Number) -> AssertionOutcome: ...
+        def is_between(self, low: _Number, high: _Number) -> AssertionOutcome: ...
+        def is_greater_than(self, other: _Number) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: _Number) -> AssertionOutcome: ...
+        def is_less_than(self, other: _Number) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: _Number) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckWalkAssertion(Protocol):
+        """The verdict twin of `_WalkAssertion`."""
+
+        def each(
+            self, matcher: Matcher[Any] | Callable[[Any], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def all_satisfy(
+            self, matcher: Matcher[Any] | Callable[[Any], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckJsonAssertion(Protocol):
+        """The verdict twin of `_JsonAssertion`."""
+
+        def has_json_path(self, path: str) -> AssertionOutcome: ...
+        def does_not_have_json_path(self, path: str) -> AssertionOutcome: ...
+        def matches_json_schema(self, schema: dict[str, Any]) -> AssertionOutcome: ...
+        def matches_json_schema_from_file(self, path: str | Path) -> AssertionOutcome: ...
+        def conforms_to_openapi(
+            self,
+            spec: dict[str, Any],
+            path: str,
+            method: str,
+            *,
+            status: str | int | None = ...,
+            content_type: str = ...,
+            strict_nullable: bool = ...,
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckStructureAssertion(_CheckWalkAssertion, _CheckJsonAssertion, Protocol):
+        """The verdict twin of `_StructureAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckRepeatableAssertion(Protocol[_E]):
+        """The verdict twin of `_RepeatableAssertion`."""
+
+        def contains_duplicates(self) -> AssertionOutcome: ...
+        def does_not_contain_duplicates(self) -> AssertionOutcome: ...
+        def contains_only_once(self, *items: object) -> AssertionOutcome: ...
+        def contains_in_order(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckZeroAssertion(Protocol):
+        """The verdict twin of `_ZeroAssertion`."""
+
+        def is_zero(self) -> AssertionOutcome: ...
+        def is_not_zero(self) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckCoreAssertion(Protocol):
+        """The verdict twin of `_CoreAssertion`."""
+
+        def is_equal_to(
+            self,
+            other: object,
+            *,
+            ignore: _KeySpecs | None = ...,
+            include: _KeySpecs | None = ...,
+            tolerance: float | None = ...,
+            rel: float | None = ...,
+            comparators: dict[Any, Callable[[Any, Any], Any]] | None = ...,
+            ignore_null: bool = ...,
+            strict_types: bool = ...,
+        ) -> AssertionOutcome: ...
+        def is_not_equal_to(self, other: object) -> AssertionOutcome: ...
+        def is_same_as(self, other: object) -> AssertionOutcome: ...
+        def is_not_same_as(self, other: object) -> AssertionOutcome: ...
+        def is_true(self) -> AssertionOutcome: ...
+        def is_false(self) -> AssertionOutcome: ...
+        def is_none(self) -> AssertionOutcome: ...
+        def is_not_none(self) -> AssertionOutcome: ...
+        def is_type_of(self, some_type: type) -> AssertionOutcome: ...
+        def is_instance_of(self, some_class: ClassInfo) -> AssertionOutcome: ...
+        def is_instance_of_any(self, *some_classes: ClassInfo) -> AssertionOutcome: ...
+        def is_subclass_of(self, some_class: ClassInfo) -> AssertionOutcome: ...
+        def is_length(self, length: SupportsIndex | Matcher[int]) -> AssertionOutcome: ...
+        def is_length_between(self, low: SupportsIndex, high: SupportsIndex) -> AssertionOutcome: ...
+        def is_callable(self) -> AssertionOutcome: ...
+        def is_not_callable(self) -> AssertionOutcome: ...
+        def is_iterable(self) -> AssertionOutcome: ...
+        def is_not_iterable(self) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[str]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[bool]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[int]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[float]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[complex]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[dict[_K, _V]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[list[_E] | tuple[_E, ...]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[set[_E] | frozenset[_E]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[datetime.datetime]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[datetime.date]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[Path]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[bytes]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[bytearray]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[Callable[..., object]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[_CapableT]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[Any], TypeIs[_U]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Matcher[Any] | Callable[[Any], object]) -> AssertionOutcome: ...
+        def all_fields_satisfy(
+            self, matcher: Matcher[Any] | Callable[[Any], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def has_no_none_fields(self, *, allow_empty: bool = ...) -> AssertionOutcome: ...
+        def is_in(self, *items: object) -> AssertionOutcome: ...
+        def is_not_in(self, *items: object) -> AssertionOutcome: ...
+        def snapshot(
+            self,
+            id: str | None = ...,
+            path: str = ...,
+            *,
+            ignore: _KeySpecs | None = ...,
+            include: _KeySpecs | None = ...,
+            tolerance: float | None = ...,
+            rel: float | None = ...,
+            comparators: dict[Any, Callable[[Any, Any], Any]] | None = ...,
+            placeholders: Mapping[Any, Matcher[Any] | Callable[[Any], object]] | None = ...,
+        ) -> AssertionOutcome: ...
+        def matches_contract_snapshot(self, id: str | None = ..., path: str = ...) -> AssertionOutcome: ...
+        def matches_inline(
+            self,
+            expected: object = ...,
+            *,
+            ignore: _KeySpecs | None = ...,
+            include: _KeySpecs | None = ...,
+            tolerance: float | None = ...,
+            rel: float | None = ...,
+            comparators: dict[Any, Callable[[Any, Any], Any]] | None = ...,
+            placeholders: Mapping[Any, Matcher[Any] | Callable[[Any], object]] | None = ...,
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckObjectAssertion(_CheckCoreAssertion, Protocol[_T_co]):
+        """The verdict twin of `_ObjectAssertion`."""
+
+        def matches_structure(self, spec: dict[Any, Any]) -> AssertionOutcome: ...
+        def is_greater_than(self, other: Any) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: Any) -> AssertionOutcome: ...
+        def is_less_than(self, other: Any) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: Any) -> AssertionOutcome: ...
+        def is_between(self, low: Any, high: Any) -> AssertionOutcome: ...
+        def is_not_between(self, low: Any, high: Any) -> AssertionOutcome: ...
+        def is_zero(self: _ObjectAssertion[SupportsFloat | SupportsIndex]) -> AssertionOutcome: ...
+        def is_not_zero(self: _ObjectAssertion[SupportsFloat | SupportsIndex]) -> AssertionOutcome: ...
+        def is_close_to(
+            self: _ObjectAssertion[SupportsFloat | SupportsIndex],
+            other: SupportsFloat | SupportsIndex,
+            tolerance: SupportsFloat | SupportsIndex | None = ...,
+            *,
+            rel: SupportsFloat | SupportsIndex | None = ...,
+        ) -> AssertionOutcome: ...
+        def is_not_close_to(
+            self: _ObjectAssertion[SupportsFloat | SupportsIndex],
+            other: SupportsFloat | SupportsIndex,
+            tolerance: SupportsFloat | SupportsIndex | None = ...,
+            *,
+            rel: SupportsFloat | SupportsIndex | None = ...,
+        ) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[str | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[bool | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[int | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[float | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[complex | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[dict[_K, _V] | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[list[_E] | tuple[_E, ...] | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[set[_E] | frozenset[_E] | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[datetime.datetime | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[datetime.date | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[Path | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[bytes | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[bytearray | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[Callable[..., object] | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self: _Holding[_U | None]) -> AssertionOutcome: ...
+        @overload
+        def is_not_none(self) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[str]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[bool]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[int]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[float]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[complex]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[dict[_K, _V]]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[list[_E] | tuple[_E, ...]]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[set[_E] | frozenset[_E]]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[datetime.datetime]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[datetime.date]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[Path]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[bytes]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[bytearray]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: tuple[type[_U], type[_U2]]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: tuple[type[_U], type[_U2], type[_U3]]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: type[_U]) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of(self, some_class: ClassInfo) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of_any(self, first: type[_U], second: type[_U2], /) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of_any(self, first: type[_U], second: type[_U2], third: type[_U3], /) -> AssertionOutcome: ...
+        @overload
+        def is_instance_of_any(self, *some_classes: ClassInfo) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckTextAssertion(
+        _CheckMembershipAssertion, _CheckRepeatableAssertion[str], _CheckSizedAssertion, _CheckCoreAssertion, Protocol
+    ):
+        """The verdict twin of `_TextAssertion`."""
+
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[str]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[bool]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[int]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[float]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[complex]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[dict[_K, _V]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[list[_E] | tuple[_E, ...]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[set[_E] | frozenset[_E]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[datetime.datetime]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[datetime.date]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[Path]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[bytes]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[bytearray]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[Callable[..., object]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[_CapableT]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[str], TypeIs[_U]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Matcher[str] | Callable[[str], object]) -> AssertionOutcome: ...
+        def contains(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def is_equal_to_ignoring_case(self, other: str) -> AssertionOutcome: ...
+        def is_equal_to_ignoring_whitespace(self, other: str) -> AssertionOutcome: ...
+        def contains_ignoring_case(self, *items: str) -> AssertionOutcome: ...
+        def starts_with(self, prefix: str) -> AssertionOutcome: ...
+        def starts_with_ignoring_case(self, prefix: str) -> AssertionOutcome: ...
+        def ends_with(self, suffix: str) -> AssertionOutcome: ...
+        def ends_with_ignoring_case(self, suffix: str) -> AssertionOutcome: ...
+        def matches(self, pattern: str | re.Pattern[str]) -> AssertionOutcome: ...
+        def does_not_match(self, pattern: str | re.Pattern[str]) -> AssertionOutcome: ...
+        def is_alpha(self) -> AssertionOutcome: ...
+        def is_digit(self) -> AssertionOutcome: ...
+        def is_lower(self) -> AssertionOutcome: ...
+        def is_upper(self) -> AssertionOutcome: ...
+        def is_alphanumeric(self) -> AssertionOutcome: ...
+        def is_whitespace(self) -> AssertionOutcome: ...
+        def contains_any_of(self, *items: str) -> AssertionOutcome: ...
+        def contains_none_of(self, *items: str) -> AssertionOutcome: ...
+        def is_unicode(self) -> AssertionOutcome: ...
+        def is_greater_than(self, other: str) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: str) -> AssertionOutcome: ...
+        def is_less_than(self, other: str) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: str) -> AssertionOutcome: ...
+        def does_not_contain(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def contains_only(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def contains_sequence(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def contains_exactly(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def contains_exactly_in_any_order(self, *items: str | Matcher[str]) -> AssertionOutcome: ...
+        def is_sorted(
+            self, key: Callable[[str], object] = ..., reverse: bool = ..., *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def each(
+            self, matcher: Matcher[str] | Callable[[str], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def all_satisfy(
+            self, matcher: Matcher[str] | Callable[[str], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def any_satisfy(self, matcher: Matcher[str] | Callable[[str], object]) -> AssertionOutcome: ...
+        def none_satisfy(self, matcher: Matcher[str] | Callable[[str], object]) -> AssertionOutcome: ...
+        def satisfies_exactly(self, *matchers: Matcher[str] | Callable[[str], object]) -> AssertionOutcome: ...
+        def satisfies_exactly_in_any_order(
+            self, *matchers: Matcher[str] | Callable[[str], object]
+        ) -> AssertionOutcome: ...
+        def zip_satisfies(
+            self, other: Iterable[_Other], predicate: Callable[[str, _Other], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def extracting_group(self, pattern: str | re.Pattern[str], group: int | str = ...) -> AssertionOutcome: ...
+        def matches_with_groups(self, pattern: str | re.Pattern[str]) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckStringAssertion(_CheckTextAssertion, _CheckFilesystemAssertion, Protocol):
+        """The verdict twin of `_StringAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckNumericAssertion(_CheckRealNumberAssertion, _CheckZeroAssertion, _CheckCoreAssertion, Protocol[_N]):
+        """The verdict twin of `_NumericAssertion`."""
+
+        def is_close_to(
+            self, other: _Number, tolerance: _Number | None = ..., *, rel: _Number | None = ...
+        ) -> AssertionOutcome: ...
+        def is_not_close_to(
+            self, other: _Number, tolerance: _Number | None = ..., *, rel: _Number | None = ...
+        ) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[str]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[bool]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[int]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[float]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[complex]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[dict[_K, _V]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[list[_E] | tuple[_E, ...]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[set[_E] | frozenset[_E]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[datetime.datetime]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[datetime.date]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[Path]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[bytes]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[bytearray]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[Callable[..., object]]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[_CapableT]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Callable[[_N], TypeIs[_U]]) -> AssertionOutcome: ...
+        @overload
+        def satisfies(self, matcher: Matcher[_N] | Callable[[_N], object]) -> AssertionOutcome: ...
+        def is_even(self) -> AssertionOutcome: ...
+        def is_odd(self) -> AssertionOutcome: ...
+        def is_divisible_by(self, divisor: SupportsIndex) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckComplexAssertion(_CheckZeroAssertion, _CheckCoreAssertion, Protocol):
+        """The verdict twin of `_ComplexAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckBoolAssertion(_CheckRealNumberAssertion, _CheckZeroAssertion, _CheckCoreAssertion, Protocol):
+        """The verdict twin of `_BoolAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckIterableAssertion(
+        _CheckMembershipAssertion,
+        _CheckStructureAssertion,
+        _CheckRepeatableAssertion[_E],
+        _CheckSizedAssertion,
+        _CheckCoreAssertion,
+        Protocol[_E],
+    ):
+        """The verdict twin of `_IterableAssertion`."""
+
+        def contains(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def does_not_contain(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def contains_only(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def contains_sequence(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def contains_exactly(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def contains_exactly_in_any_order(self, *items: _E | Matcher[_E]) -> AssertionOutcome: ...
+        def is_sorted(
+            self, key: Callable[[_E], object] = ..., reverse: bool = ..., *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def starts_with(self, prefix: _E) -> AssertionOutcome: ...
+        def ends_with(self, suffix: _E) -> AssertionOutcome: ...
+        def each(
+            self, matcher: Matcher[_E] | Callable[[_E], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def all_satisfy(
+            self, matcher: Matcher[_E] | Callable[[_E], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def any_satisfy(self, matcher: Matcher[_E] | Callable[[_E], object]) -> AssertionOutcome: ...
+        def none_satisfy(self, matcher: Matcher[_E] | Callable[[_E], object]) -> AssertionOutcome: ...
+        def satisfies_exactly(self, *matchers: Matcher[_E] | Callable[[_E], object]) -> AssertionOutcome: ...
+        def satisfies_exactly_in_any_order(
+            self, *matchers: Matcher[_E] | Callable[[_E], object]
+        ) -> AssertionOutcome: ...
+        def zip_satisfies(
+            self, other: Iterable[_Other], predicate: Callable[[_E, _Other], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckListAssertion(_CheckIterableAssertion[_E], Protocol[_E]):
+        """The verdict twin of `_ListAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckDictAssertion(_CheckStructureAssertion, _CheckSizedAssertion, _CheckCoreAssertion, Protocol[_K, _V]):
+        """The verdict twin of `_DictAssertion`."""
+
+        def is_subset_of(
+            self, *supersets: Mapping[Any, Any] | MappingLike, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def contains(self, *items: object) -> AssertionOutcome: ...
+        def each(
+            self, matcher: Matcher[_K] | Callable[[_K], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def all_satisfy(
+            self, matcher: Matcher[_K] | Callable[[_K], object], *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def contains_key(self, *keys: _K | Matcher[_K]) -> AssertionOutcome: ...
+        def does_not_contain_key(self, *keys: _K | Matcher[_K]) -> AssertionOutcome: ...
+        def contains_value(self, *values: _V | Matcher[_V]) -> AssertionOutcome: ...
+        def does_not_contain_value(self, *values: _V | Matcher[_V]) -> AssertionOutcome: ...
+        def contains_entry(self, *args: object, **kwargs: object) -> AssertionOutcome: ...
+        def does_not_contain_entry(self, *args: object, **kwargs: object) -> AssertionOutcome: ...
+        def does_not_contain(self, *items: object) -> AssertionOutcome: ...
+        def contains_only(self, *keys: object) -> AssertionOutcome: ...
+        def is_sorted(
+            self, key: Callable[[_K], object] = ..., reverse: bool = ..., *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def matches_structure(self, spec: dict[Any, Any]) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckCollectionShapedAssertion(
+        _CheckSizedAssertion, _CheckMembershipAssertion, _CheckWalkAssertion, Protocol
+    ):
+        """The verdict twin of `_CollectionShapedAssertion`."""
+
+        def contains(self, *items: object) -> AssertionOutcome: ...
+        def does_not_contain(self, *items: object) -> AssertionOutcome: ...
+        def contains_only(self, *items: object) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckArrayLikeAssertion(_CheckCollectionShapedAssertion, _CheckCoreAssertion, Protocol):
+        """The verdict twin of `_ArrayLikeAssertion`."""
+
+        def is_array_equal(self, expected: object, **options: Any) -> AssertionOutcome: ...
+        def is_array_close_to(
+            self, expected: object, *, rtol: float = ..., atol: float = ..., equal_nan: bool = ..., **options: Any
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckFrameAssertion(_CheckArrayLikeAssertion, Protocol[_FrameT_co]):
+        """The verdict twin of `_FrameAssertion`."""
+
+        def is_frame_equal(self, expected: object, **options: Any) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckArrayAssertion(_CheckArrayLikeAssertion, Protocol[_ArrayT_co]):
+        """The verdict twin of `_ArrayAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckDateAssertion(_CheckCoreAssertion, Protocol):
+        """The verdict twin of `_DateAssertion`."""
+
+        def is_greater_than(self, other: datetime.date) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: datetime.date) -> AssertionOutcome: ...
+        def is_less_than(self, other: datetime.date) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: datetime.date) -> AssertionOutcome: ...
+        def is_between(self, low: datetime.date, high: datetime.date) -> AssertionOutcome: ...
+        def is_not_between(self, low: datetime.date, high: datetime.date) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckDateTimeAssertion(_CheckCoreAssertion, Protocol):
+        """The verdict twin of `_DateTimeAssertion`."""
+
+        def is_greater_than(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_less_than(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_between(self, low: datetime.datetime, high: datetime.datetime) -> AssertionOutcome: ...
+        def is_not_between(self, low: datetime.datetime, high: datetime.datetime) -> AssertionOutcome: ...
+        def is_before(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_after(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_before_or_equal_to(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_after_or_equal_to(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_equal_to_ignoring_milliseconds(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_equal_to_ignoring_seconds(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_equal_to_ignoring_time(self, other: datetime.datetime) -> AssertionOutcome: ...
+        def is_close_to(
+            self, other: datetime.datetime, tolerance: datetime.timedelta | None = ..., *, rel: None = ...
+        ) -> AssertionOutcome: ...
+        def is_not_close_to(
+            self, other: datetime.datetime, tolerance: datetime.timedelta | None = ..., *, rel: None = ...
+        ) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckPathAssertion(_CheckFilesystemAssertion, _CheckCoreAssertion, Protocol):
+        """The verdict twin of `_PathAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckBytesAssertion(_CheckMembershipAssertion, _CheckSizedAssertion, _CheckCoreAssertion, Protocol[_B_co]):
+        """The verdict twin of `_BytesAssertion`."""
+
+        def contains(self, *items: object) -> AssertionOutcome: ...
+        def does_not_contain(self, *items: object) -> AssertionOutcome: ...
+        def is_sorted(
+            self, key: Callable[[int], object] = ..., reverse: bool = ..., *, allow_empty: bool = ...
+        ) -> AssertionOutcome: ...
+        def starts_with(self, prefix: bytes | bytearray) -> AssertionOutcome: ...
+        def ends_with(self, suffix: bytes | bytearray) -> AssertionOutcome: ...
+        def is_valid_utf8(self) -> AssertionOutcome: ...
+        def is_valid_encoding(self, encoding: str) -> AssertionOutcome: ...
+        def starts_with_bytes(self, prefix: bytes | bytearray) -> AssertionOutcome: ...
+        def contains_bytes(self, sub: bytes | bytearray) -> AssertionOutcome: ...
+        def has_byte_at(self, index: SupportsIndex, expected: SupportsIndex) -> AssertionOutcome: ...
+        def is_hex_equal_to(self, expected_hex: str) -> AssertionOutcome: ...
+        def is_greater_than(self, other: bytes | bytearray) -> AssertionOutcome: ...
+        def is_greater_than_or_equal_to(self, other: bytes | bytearray) -> AssertionOutcome: ...
+        def is_less_than(self, other: bytes | bytearray) -> AssertionOutcome: ...
+        def is_less_than_or_equal_to(self, other: bytes | bytearray) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckInvokedAssertion(_CheckTextAssertion, Protocol[_Exc_co]):
+        """The verdict twin of `_InvokedAssertion`."""
+
+        @overload
+        def caused_by(self, ex: type[_Landed]) -> AssertionOutcome: ...
+        @overload
+        def caused_by(self, ex: ClassInfo) -> AssertionOutcome: ...
+        @overload
+        def error_of(self, ex: type[_Landed]) -> AssertionOutcome: ...
+        @overload
+        def error_of(self, ex: type) -> AssertionOutcome: ...
+        def does_not_contain_error(self, *ex_types: type | ExceptionInfo) -> AssertionOutcome: ...
+        @overload
+        def has_root_cause(self, ex: type[_Landed]) -> AssertionOutcome: ...
+        @overload
+        def has_root_cause(self, ex: ClassInfo) -> AssertionOutcome: ...
+        def contains_error(self, *ex_types: type | ExceptionInfo) -> AssertionOutcome: ...
+        def matches_error_tree(self, *expected: type | list[Any]) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckWarnedAssertion(_CheckTextAssertion, Protocol[_P_co]):
+        """The verdict twin of `_WarnedAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckCallableAssertion(_CheckCoreAssertion, Protocol[_P_co]):
+        """The verdict twin of `_CallableAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckCompletedAssertion(_CheckCallableAssertion[_P_co], Protocol[_P_co]):
+        """The verdict twin of `_CompletedAssertion`."""
+
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckExpectedRaiseAssertion(_CheckCallableAssertion[_P_co], Protocol[_P_co, _Exc_co]):
+        """The verdict twin of `_ExpectedRaiseAssertion`."""
+
+        def when_called_with(self, *some_args: object, **some_kwargs: object) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckExpectedWarningAssertion(_CheckCallableAssertion[_P_co], Protocol[_P_co]):
+        """The verdict twin of `_ExpectedWarningAssertion`."""
+
+        def when_called_with(self, *some_args: object, **some_kwargs: object) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...
+
+    class _CheckExpectedCompletionAssertion(_CheckCallableAssertion[_P_co], Protocol[_P_co]):
+        """The verdict twin of `_ExpectedCompletionAssertion`."""
+
+        def when_called_with(self, *some_args: object, **some_kwargs: object) -> AssertionOutcome: ...
+        @property
+        def not_(self) -> Self: ...