Guarantee that we inherit the correct variable type.

tempbottle · Nov 24, 2017 · 1fc640e · 1fc640e
1 parent 9202939
commit 1fc640e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -95,7 +95,7 @@ pub trait ConstraintSystem<E: Engine>: Sized {
 
     /// Represents the type of the "root" of this constraint system
     /// so that nested namespaces can minimize indirection.
-    type Root: ConstraintSystem<E>;
+    type Root: ConstraintSystem<E, Variable=Self::Variable>;
 
     /// Return the "one" input variable
     fn one(&self) -> Self::Variable;