diff options
Diffstat (limited to 'users/glittershark/achilles/src/tc/mod.rs')
| -rw-r--r-- | users/glittershark/achilles/src/tc/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/users/glittershark/achilles/src/tc/mod.rs b/users/glittershark/achilles/src/tc/mod.rs index 559ac993cc..52c18e6d53 100644 --- a/users/glittershark/achilles/src/tc/mod.rs +++ b/users/glittershark/achilles/src/tc/mod.rs @@ -358,9 +358,9 @@ impl<'ast> Typechecker<'ast> { let mut universalize_type = move |ty| match ty { Type::Exist(tv) if self.resolve_tv(tv).is_none() => vars .entry(tv) - .or_insert_with_key(|tv| { + .or_insert_with(|| { let ty = self.fresh_univ(); - self.ctx.insert(*tv, ty.clone()); + self.ctx.insert(tv, ty.clone()); ty }) .clone(), |