diff --git a/check/src/typecheck.rs b/check/src/typecheck.rs
index 03c62c7744..a462d1911d 100644
--- a/check/src/typecheck.rs
+++ b/check/src/typecheck.rs
@@ -1984,13 +1984,6 @@ impl<'a> Typecheck<'a> {
                 self.translate_ast_type(&type_cache, typ)
             });
 
-            if let Type::Variant(ref row) = **alias.unresolved_type().remove_forall() {
-                for field in row.row_iter() {
-                    let symbol = self.symbols.scoped_symbol(field.name.as_ref());
-                    self.original_symbols.insert(field.name.clone(), symbol);
-                }
-            }
-
             // alias.unresolved_type() is a dummy in this context
             self.named_variables.extend(
                 alias
diff --git a/check/tests/pass.rs b/check/tests/pass.rs
index 1eac439622..6e32a3b12b 100644
--- a/check/tests/pass.rs
+++ b/check/tests/pass.rs
@@ -987,6 +987,6 @@ else
 
     assert_req!(
         result.map(|t| t.to_string()),
-        Ok("forall a . | test.A Int | test.B String | a")
+        Ok("forall a . | A Int\n| B String\n| a")
     );
 }