typing: add asserts for the type checker

sympy · Apr 28, 2024 · 331e683 · 331e683
1 parent 4fb0a85
commit 331e683
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/sympy/external/gmpy.py b/sympy/external/gmpy.py
@@ -197,6 +197,8 @@ def _get_gmpy2(sympy_ground_types):
 
 if _SYMPY_GROUND_TYPES == 'gmpy':
 
+    assert _gmpy is not None
+
     flint = None
     gmpy = _gmpy
 
@@ -241,6 +243,8 @@ def iroot(x, n):
 
 elif _SYMPY_GROUND_TYPES == 'flint':
 
+    assert _flint is not None
+
     flint = _flint
     gmpy = None