From 6cfb535e4722b422096c4f96babaffc9c7526174 Mon Sep 17 00:00:00 2001 From: Laurent Lyaudet Date: Fri, 29 Dec 2023 23:29:12 +0100 Subject: [PATCH] Update composing-types.rst small typo "to now" -> "to know" (#293) --- docs/pages/composing-types.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/pages/composing-types.rst b/docs/pages/composing-types.rst index 5a1a02e..a78ed38 100644 --- a/docs/pages/composing-types.rst +++ b/docs/pages/composing-types.rst @@ -115,7 +115,7 @@ type. For example: # At this point the object will no longer satisfy the HasMany predicate. instance.len = 2 - # There is no way for a type checker to now that the predicate isn't fulfilled + # There is no way for a type checker to know that the predicate isn't fulfilled # anymore, so the revealed type here will still be HasMany. reveal_type(instance) # Revealed type is HasMany