From fcd70c8dc44d1d8e0475a218345b0e8e3f9d7051 Mon Sep 17 00:00:00 2001
From: Mark <markbaumeister26@gmail.com>
Date: Fri, 10 Nov 2023 13:49:18 +0100
Subject: [PATCH] improve iter types

---
 mers_lib/src/program/configs/with_iters.rs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/mers_lib/src/program/configs/with_iters.rs b/mers_lib/src/program/configs/with_iters.rs
index f6d0934..2db4aca 100755
--- a/mers_lib/src/program/configs/with_iters.rs
+++ b/mers_lib/src/program/configs/with_iters.rs
@@ -343,12 +343,15 @@ impl IterT {
 }
 impl MersType for IterT {
     fn is_same_type_as(&self, other: &dyn MersType) -> bool {
-        false
+        if let Some(other) = other.as_any().downcast_ref::<Self>() {
+            self.2.is_same_type_as(&other.2)
+        } else {
+            false
+        }
     }
     fn is_included_in_single(&self, target: &dyn MersType) -> bool {
         if let Some(target) = target.as_any().downcast_ref::<Self>() {
-            // TODO: ?
-            false
+            self.2.is_included_in(&target.2)
         } else {
             false
         }