From fec12865ca8d58aba118d4430f5e2ce11e9a794c Mon Sep 17 00:00:00 2001
From: Eduard-Mihai Burtescu <edy.burt@gmail.com>
Date: Fri, 7 Sep 2018 21:08:32 +0300
Subject: [PATCH 1/2] Add bounds to type aliases (needed by
 rust-lang/rust#54033).

---
 src/unify/backing_vec.rs | 3 ++-
 src/unify/mod.rs         | 6 ++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/unify/backing_vec.rs b/src/unify/backing_vec.rs
index 5423a31..f1e720c 100644
--- a/src/unify/backing_vec.rs
+++ b/src/unify/backing_vec.rs
@@ -7,7 +7,8 @@ use std::marker::PhantomData;
 use super::{VarValue, UnifyKey, UnifyValue};
 
 #[allow(dead_code)] // rustc BUG
-type Key<S> = <S as UnificationStore>::Key;
+#[allow(type_alias_bounds)]
+type Key<S: UnificationStore> = <S as UnificationStore>::Key;
 
 /// Largely internal trait implemented by the unification table
 /// backing store types. The most common such type is `InPlace`,
diff --git a/src/unify/mod.rs b/src/unify/mod.rs
index be168c4..d8e871a 100644
--- a/src/unify/mod.rs
+++ b/src/unify/mod.rs
@@ -181,11 +181,13 @@ pub struct UnificationTable<S: UnificationStore> {
 }
 
 /// A unification table that uses an "in-place" vector.
-pub type InPlaceUnificationTable<K> = UnificationTable<InPlace<K>>;
+#[allow(type_alias_bounds)]
+pub type InPlaceUnificationTable<K: UnifyKey> = UnificationTable<InPlace<K>>;
 
 /// A unification table that uses a "persistent" vector.
 #[cfg(feature = "persistent")]
-pub type PersistentUnificationTable<K> = UnificationTable<Persistent<K>>;
+#[allow(type_alias_bounds)]
+pub type PersistentUnificationTable<K: UnifyKey> = UnificationTable<Persistent<K>>;
 
 /// At any time, users may snapshot a unification table.  The changes
 /// made during the snapshot may either be *committed* or *rolled back*.

From faa9e8398359ed956155bef4366892d1e02ecea1 Mon Sep 17 00:00:00 2001
From: Eduard-Mihai Burtescu <edy.burt@gmail.com>
Date: Fri, 7 Sep 2018 21:09:57 +0300
Subject: [PATCH 2/2] Bump version to 0.10.1.

---
 Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 230f8f7..dbc6d7d 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -4,7 +4,7 @@ description = "Union-find, congruence closure, and other unification code. Based
 license = "MIT/Apache-2.0"
 homepage = "https://github.com/nikomatsakis/ena"
 repository = "https://github.com/nikomatsakis/ena"
-version = "0.10.0"
+version = "0.10.1"
 authors = ["Niko Matsakis <niko@alum.mit.edu>"]
 readme = "README.md"
 keywords = ["unification", "union-find"]