frozenleaves/pytorch
1
0
Fork 0
mirror of https://github.com/pytorch/pytorch.git synced 2025-10-20 21:14:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

[BE]: Update mypy to 1.11.2 (#133816)

Browse Source 
Updates mypy to 1.11.1 to improve type inference

Pull Request resolved: https://github.com/pytorch/pytorch/pull/133816
Approved by: https://github.com/ezyang
This commit is contained in:
Aaron Gokaslan
2024-09-16 19:44:08 +00:00
committed by PyTorch MergeBot
parent 38caf10411
commit 31715be72a
56 changed files with 186 additions and 183 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
torch/utils/_sympy/functions.py
View File

@ -310,11 +310,11 @@ class ModularIndexing(sympy.Function):
if isinstance(base, FloorDiv):
return ModularIndexing(base.args[0], base.args[1] * divisor, modulus)
def _eval_is_nonnegative(self):
def _eval_is_nonnegative(self): # type:ignore[override]
p, q = self.args[:2]
return fuzzy_eq(p.is_nonnegative, q.is_nonnegative) # type: ignore[attr-defined]
def _eval_is_positive(self):
def _eval_is_positive(self): # type:ignore[override]
p, q = self.args[:2]
return fuzzy_eq(p.is_positive, q.is_positive) # type: ignore[attr-defined]
@ -329,14 +329,14 @@ class Where(sympy.Function):
def _eval_is_integer(self):
return True if self.args[1].is_integer and self.args[2].is_integer else None # type: ignore[attr-defined]
def _eval_is_nonnegative(self):
def _eval_is_nonnegative(self): # type:ignore[override]
return (
True
if self.args[1].is_nonnegative and self.args[2].is_nonnegative # type: ignore[attr-defined]
else None
)
def _eval_is_positive(self):
def _eval_is_positive(self): # type:ignore[override]
return True if self.args[1].is_positive and self.args[2].is_positive else None # type: ignore[attr-defined]
@classmethod
@ -397,7 +397,7 @@ class PythonMod(sympy.Function):
return S.Zero
# NB: args[1] for PythonMod
def _eval_is_nonnegative(self):
def _eval_is_nonnegative(self): # type:ignore[override]
return True if self.args[1].is_positive else None # type: ignore[attr-defined]
def _eval_is_nonpositive(self):
@ -823,13 +823,13 @@ class Max(MinMaxBase, Application): # type: ignore[misc]
zero = S.Infinity
identity = S.NegativeInfinity
def _eval_is_positive(self):
def _eval_is_positive(self): # type:ignore[override]
return fuzzy_or(a.is_positive for a in self.args) # type: ignore[attr-defined]
def _eval_is_nonnegative(self):
def _eval_is_nonnegative(self): # type:ignore[override]
return fuzzy_or(a.is_nonnegative for a in self.args) # type: ignore[attr-defined]
def _eval_is_negative(self):
def _eval_is_negative(self): # type:ignore[override]
return fuzzy_and(a.is_negative for a in self.args)
@ -841,13 +841,13 @@ class Min(MinMaxBase, Application): # type: ignore[misc]
zero = S.NegativeInfinity
identity = S.Infinity
def _eval_is_positive(self):
def _eval_is_positive(self): # type:ignore[override]
return fuzzy_and(a.is_positive for a in self.args) # type: ignore[attr-defined]
def _eval_is_nonnegative(self):
def _eval_is_nonnegative(self): # type:ignore[override]
return fuzzy_and(a.is_nonnegative for a in self.args) # type: ignore[attr-defined]
def _eval_is_negative(self):
def _eval_is_negative(self): # type:ignore[override]
return fuzzy_or(a.is_negative for a in self.args)