unused imports

Author: nikomatsakis

crates/formality-prove/src/prove/prove_eq.rs

@@ -2,7 +2,7 @@ use formality_types::{
     cast::{Downcast, Upcast, Upcasted},
     collections::{Deduplicate, Set},
     grammar::{
-        AliasTy, InferenceVar, Parameter, PlaceholderVar, Relation, RigidTy, Substitution, Ty,
+        AliasTy, InferenceVar, Parameter, PlaceholderVar, Relation, RigidTy, Substitution,
         TyData, Variable, Wcs,
     },
     judgment_fn, set,

crates/formality-prove/src/prove/prove_wc.rs

@@ -1,5 +1,5 @@
 use formality_types::{
-    grammar::{Parameter, Predicate, Relation, Wc, WcData, Wcs},
+    grammar::{Predicate, Relation, Wc, WcData, Wcs},
     judgment_fn,
 };