fix(base): Don't forget the ForAll type when calling walk_move_type

gluon-lang · Nov 1, 2017 · 7b78bd7 · 7b78bd7
1 parent 804afb9
commit 7b78bd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/types/mod.rs b/base/src/types/mod.rs
@@ -1759,7 +1759,7 @@ where
     I: Clone,
 {
     match *typ {
-        Type::Forall(_, ref typ) => f.visit(typ),
+        Type::Forall(ref args, ref typ) => f.visit(typ).map(|typ| Type::forall(args.clone(), typ)),
         Type::App(ref id, ref args) => {
             let new_args = walk_move_types(args, |t| f.visit(t));
             merge(id, f.visit(id), args, new_args, Type::app)