fn assert_matching_vars(&mut self, answer_depth: usize, pending_depth: usize) -> Fallible<()> {
        assert!(answer_depth < self.answer_binders);
        assert!(pending_depth < self.pending_binders);
        assert_eq!(
            self.answer_binders - answer_depth,
            self.pending_binders - pending_depth
        );
        Ok(())
    }
/// When we encounter a variable in the answer goal, we first try
/// `unify_free_answer_var`. Assuming that this fails, the
/// variable must be a bound variable in the answer goal -- in
/// that case, there should be a corresponding bound variable in
/// the pending goal. This bit of code just checks that latter
/// case.
When we encounter a variable in the answer goal, we first try
`unify_free_answer_var`. Assuming that this fails, the
variable must be a bound variable in the answer goal -- in
that case, there should be a corresponding bound variable in
the pending goal. This bit of code just checks that latter
case.
When we encounter a variable in the answer goal we first try ` unify_free_answer_var ` . Assuming that this fails the variable must be a bound variable in the answer goal -- in that case there should be a corresponding bound variable in the pending goal . This bit of code just checks that latter case .
fn assert_matching_vars(&mut self, answer_depth: usize, pending_depth: usize) -> Fallible<()> {
        assert!(answer_depth < self.answer_binders);
        assert!(pending_depth < self.pending_binders);
        assert_eq!(
            self.answer_binders - answer_depth,
            self.pending_binders - pending_depth
        );
        Ok(())
    }
fn assert_matching_vars ( & mut self , answer_depth : usize , pending_depth : usize ) -> Fallible < ( ) > { assert ! ( answer_depth self answer_binders ) ; assert ! ( pending_depth self pending_binders ) ; assert_eq ! ( self answer_binders answer_depth self pending_binders pending_depth ) ; Ok ( ( ) ) }
When we encounter a variable in the answer goal, we first try
`unify_free_answer_var`.
When we encounter a variable in the answer goal we first try ` unify_free_answer_var ` .
&mut self
answer_depth
usize
pending_depth
usize
&mut self
answer_depth
usize
pending_depth
usize