Skip to content

Commit 4a30dc9

Browse files
committed
fully soundness -> full soundness
1 parent d3bb2d2 commit 4a30dc9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/spec/narrowing.rst

+1-1
Original file line numberDiff line numberDiff line change
@@ -284,7 +284,7 @@ or by making the class to be narrowed final to avoid such a situation.
284284
In practice, such correctness is not always neccessary, and may work against
285285
your needs. for example, if you trust that users implementing
286286
the Sequence Protocol are doing so in a way that is safe to iterate over,
287-
the following function can never be fully sound, but fully soundness is not necessarily
287+
the following function can never be fully sound, but full soundness is not necessarily
288288
easier or better for your use::
289289

290290
def useful_unsoundness(s: Sequence[object]) -> TypeIs[Sequence[int]]:

0 commit comments

Comments
 (0)