From b360d00adaa8495c38bce8b0567ea5ff192f3545 Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Sat, 21 Oct 2023 11:42:54 -0700 Subject: [PATCH] Updated docs based on a recent change in mypy. --- docs/mypy-comparison.md | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/mypy-comparison.md b/docs/mypy-comparison.md index a380b1572..8bf0bd5a1 100644 --- a/docs/mypy-comparison.md +++ b/docs/mypy-comparison.md @@ -152,7 +152,6 @@ Pyright supports several built-in type guards that mypy does not currently suppo The following expression forms are not currently supported by mypy as type guards: * `x == L` and `x != L` (where L is an expression with a literal type) -* `len(x) == L` and `len(x) != L` (where x is tuple and L is a literal integer) * `x in y` or `x not in y` (where y is instance of list, set, frozenset, deque, tuple, dict, defaultdict, or OrderedDict) * `bool(x)` (where x is any expression that is statically verifiable to be truthy or falsey in all cases)