Merge pull request #474 from mvaled/master

Remove unused StackIndex from chalk-engine.
rust-lang · May 26, 2020 · 215b9e1 · 215b9e1
2 parents c1c7f58 + 294a73c
commit 215b9e1
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/chalk-engine/src/lib.rs b/chalk-engine/src/lib.rs
@@ -83,16 +83,6 @@ index_struct! {
     }
 }
 
-index_struct! {
-    /// The StackIndex identifies the position of a table's goal in the
-    /// stack of goals that are actively being processed. Note that once a
-    /// table is completely evaluated, it may be popped from the stack,
-    /// and hence no longer have a stack index.
-    struct StackIndex {
-        value: usize,
-    }
-}
-
 /// The paper describes these as `A :- D | G`.
 #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)]
 pub struct ExClause<I: Interner> {