Add in some missing Stored<..> branches

faradayio · Dec 7, 2024 · edb4a05 · edb4a05
1 parent 4eadb97
commit edb4a05
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/types.rs b/src/types.rs
@@ -323,7 +323,9 @@ impl<TV: TypeVarSupport> ArgumentType<TV> {
             (ArgumentType::Value(a), ArgumentType::Value(b)) => {
                 Some(ArgumentType::Value(a.common_supertype(b)?))
             }
-
+            (Self::Stored(a), Self::Stored(b)) => {
+                Some(ArgumentType::Stored(a.common_supertype(b)?))
+            }
             (ArgumentType::Aggregating(a), ArgumentType::Aggregating(b)) => {
                 Some(ArgumentType::Aggregating(Box::new(a.common_supertype(b)?)))
             }
@@ -345,6 +347,9 @@ impl Unify for ArgumentType<TypeVar> {
             (ArgumentType::Value(a), ArgumentType::Value(b)) => {
                 Ok(ArgumentType::Value(a.unify(b, table, spanned)?))
             }
+            (ArgumentType::Stored(a), ArgumentType::Stored(b)) => {
+                Ok(ArgumentType::Stored(a.unify(b, table, spanned)?))
+            }
             (ArgumentType::Aggregating(a), ArgumentType::Aggregating(b)) => Ok(
                 ArgumentType::Aggregating(Box::new(a.unify(b, table, spanned)?)),
             ),