From a59a9c8586636378236b378f9366a4ccefc1171b Mon Sep 17 00:00:00 2001
From: Alexandru Fikl <alexfikl@gmail.com>
Date: Wed, 13 Nov 2024 21:16:03 +0200
Subject: [PATCH] mypy: fix errors from pytato typing improvements
---
arraycontext/impl/pytato/utils.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/arraycontext/impl/pytato/utils.py b/arraycontext/impl/pytato/utils.py
index e50207a..d0c80a3 100644
--- a/arraycontext/impl/pytato/utils.py
+++ b/arraycontext/impl/pytato/utils.py
@@ -99,6 +99,7 @@ def _normalize_pt_expr(
"""
normalize_mapper = _DatawrapperToBoundPlaceholderMapper()
normalized_expr = normalize_mapper(expr)
+ assert isinstance(normalized_expr, AbstractResultWithNamedArrays)
return normalized_expr, normalize_mapper.bound_arguments
--
GitLab