Merge pull request #40 from fabric-and-ink/small_stuff

Some trivial changes

Author: nikomatsakis

src/ir/mod.rs

@@ -485,7 +485,9 @@ pub struct ProgramClause {
     pub fallback_clause: bool,
 }
 
-/// Represents one clause of the form `consequence :- conditions`.
+/// Represents one clause of the form `consequence :- conditions` where
+/// `conditions = cond_1 && cond_2 && ...` is the conjunction of the individual
+/// conditions.
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub struct ProgramClauseImplication {
     pub consequence: DomainGoal,

src/solve/infer/instantiate.rs

@@ -15,7 +15,7 @@ impl InferenceTable {
             .map(|u| self.new_parameter_variable(u))
             .collect();
         debug!("instantiate: vars={:?}", vars);
-        let mut instantiator = Instantiator { vars: vars };
+        let mut instantiator = Instantiator { vars };
         arg.fold_with(&mut instantiator, 0).expect("")
     }
 }

src/solve/infer/unify.rs

@@ -319,8 +319,6 @@ impl TypeName {
     }
 }
 
-///////////////////////////////////////////////////////////////////////////
-
 struct OccursCheck<'u, 't: 'u> {
     unifier: &'u mut Unifier<'t>,
     binders: usize,