Typing overloads for ge, gt, le, lt, eq, ne
#13166
Labels
enhancement
New feature or an improvement of an existing feature
ge, gt, le, lt, eq, ne
#13166
Description
For example,
__ge__
is annotated as follows:Where as
ge
is annotated like this:Now this is partially a question about how other type checkers work. My experience with Pylance is that I'm going to get a type error from the following code, because
x.gt(0).all()
could be an Expr:Is this also the case for other type checkers? If so, I can make a quick PR to add these overloads.
(Ironically, I believe Pylance would infer the correct types if
ge
simply had no annotations at all.)The text was updated successfully, but these errors were encountered: