fix(check): Take the parameters of record type fields into account wh…

…en inserting forall Fixes the use of replace_generics in the next commit
gluon-lang · Jan 27, 2019 · b390db1 · b390db1
1 parent 4e53ba1
commit b390db1
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/check/src/typecheck.rs b/check/src/typecheck.rs
@@ -2531,7 +2531,12 @@ impl<'a> Typecheck<'a> {
             } => {
                 let new_types = types::walk_move_types(types, |field| {
                     let typ = self
-                        .create_unifiable_signature2(field.typ.unresolved_type())
+                        .create_unifiable_signature_with(
+                            field.typ.params().iter().map(|param| {
+                                (param.id.clone(), field.typ.unresolved_type().clone())
+                            }),
+                            field.typ.unresolved_type(),
+                        )
                         .unwrap_or_else(|| field.typ.unresolved_type().clone());
                     Some(Field::new(
                         field.name.clone(),