From 9ba5ec9213a5a4a5e7ee1d0da5b3e9797a73c753 Mon Sep 17 00:00:00 2001 From: Shantanu <12621235+hauntsaninja@users.noreply.github.com> Date: Sun, 24 Sep 2023 22:38:30 -0700 Subject: [PATCH] Update docs/source/typing_anti_pitch.rst Co-authored-by: Alex Waygood --- docs/source/typing_anti_pitch.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/typing_anti_pitch.rst b/docs/source/typing_anti_pitch.rst index 0e0c9b9fe..98550c801 100644 --- a/docs/source/typing_anti_pitch.rst +++ b/docs/source/typing_anti_pitch.rst @@ -50,7 +50,7 @@ in Python:: * Your codebase has suffered at the hands of `Hyrum's Law `_ and all possible observable behaviour is depended on. In order to avoid false positives for your - users, all your types end up being either a) complicated ``Protocol``s that are hard to maintain, + users, all your types end up being either a) complicated ``Protocol``\s that are hard to maintain, or b) ``Any`` in which case there's not much point. (On the other hand, static type checking could be a good solution for communicating to users what behaviour they should be allowed to rely on)