Work around bpr errors only shown in CI

Author: inducer

pyproject.toml

@@ -155,6 +155,12 @@ reportExplicitAny = "none"
 # https://github.com/microsoft/pyright/issues/746
 reportImportCycles = "none"
 
+# Some errors get flagged in CI, but not locally. This makes it awkward to
+# include those in the baseline, so they get ignored with 'pyright: ignore'.
+# Local runs now flag this as unnecessary. Downgrading to hint to avoid
+# circular complaints.
+reportUnnecessaryTypeIgnoreComment = "hint"
+
 pythonVersion = "3.10"
 pythonPlatform = "All"
 

pytato/loopy.py

@@ -426,7 +426,9 @@ def extend_bindings_with_shape_inference(knl: lp.LoopKernel,
 
     from loopy.kernel.array import ArrayBase
     from loopy.symbolic import get_dependencies as lpy_get_deps
-    from pymbolic.mapper.substitutor import make_subst_func
+    from pymbolic.mapper.substitutor import (
+        make_subst_func,  # pyright: ignore[reportUnknownVariableType]
+    )
     from pymbolic.primitives import is_expression
 
     from pytato.transform import SizeParamGatherer

pytato/scalar_expr.py

@@ -268,7 +268,9 @@ def substitute(expression: Expression,
     if variable_assignments is None:
         variable_assignments = {}
 
-    from pymbolic.mapper.substitutor import make_subst_func
+    from pymbolic.mapper.substitutor import (
+        make_subst_func,  # pyright: ignore[reportUnknownVariableType]
+    )
     return SubstitutionMapper(make_subst_func(variable_assignments))(expression)
 
 

pytato/target/loopy/codegen.py

@@ -132,7 +132,9 @@ def loopy_substitute(
             variable_assignments: Mapping[str, Expression]
         ) -> Expression:
     from loopy.symbolic import SubstitutionMapper
-    from pymbolic.mapper.substitutor import make_subst_func
+    from pymbolic.mapper.substitutor import (
+        make_subst_func,  # pyright: ignore[reportUnknownVariableType]
+    )
 
     # {{{ early exit for identity substitution