Finished adding support for '.' operator on polymorphic struct values

IsaacShelton · Dec 12, 2024 · 04b4ac7 · 04b4ac7
1 parent 7d53a40
commit 04b4ac7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lower/expr/mod.rs b/src/lower/expr/mod.rs
@@ -317,7 +317,7 @@ pub fn lower_expr(
             let mut catalog = PolyCatalog::new();
             for (name, argument) in structure.parameters.names().zip(arguments.iter()) {
                 catalog
-                    .put_type(name, argument)
+                    .put_type(name, &builder.unpoly(argument)?.0)
                     .expect("unique type parameter names");
             }
             let poly_recipe = catalog.bake();
@@ -650,7 +650,7 @@ pub fn lower_destination(
             let mut catalog = PolyCatalog::new();
             for (name, argument) in structure.parameters.names().zip(arguments.iter()) {
                 catalog
-                    .put_type(name, argument)
+                    .put_type(name, &builder.unpoly(argument)?.0)
                     .expect("unique type parameter names");
             }
             let poly_recipe = catalog.bake();