Improve type sharing in kindcheck

Snarpix · Aug 22, 2016 · 4a05f9a · 4a05f9a
1 parent a3eed9b
commit 4a05f9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/check/src/kindcheck.rs b/check/src/kindcheck.rs
@@ -151,7 +151,7 @@ impl<'a> KindCheck<'a> {
 
     fn kindcheck(&mut self, typ: &TcType) -> Result<(RcKind, TcType)> {
         match **typ {
-            Type::Hole => Ok((self.subs.new_var(), Type::hole())),
+            Type::Hole => Ok((self.subs.new_var(), typ.clone())),
             Type::Generic(ref gen) => {
                 let mut gen = gen.clone();
                 gen.kind = try!(self.find(&gen.id));