fn visit_free_var(&mut self, bound_var: BoundVar, outer_binder: DebruijnIndex) -> Self::Result {
        if self.forbid_free_vars() {
            panic!(
                "unexpected free variable `{:?}` with outer binder {:?}",
                bound_var, outer_binder
            )
        } else {
            Self::Result::new()
        }
    }
/// Invoked for `BoundVar` instances that are not bound
/// within the type being visited over:
Invoked for `BoundVar` instances that are not bound
within the type being visited over.
Invoked for ` BoundVar ` instances that are not bound within the type being visited over .
fn visit_free_var(&mut self, bound_var: BoundVar, outer_binder: DebruijnIndex) -> Self::Result {
        if self.forbid_free_vars() {
            panic!(
                "unexpected free variable `{:?}` with outer binder {:?}",
                bound_var, outer_binder
            )
        } else {
            Self::Result::new()
        }
    }
fn visit_free_var ( & mut self , bound_var : BoundVar , outer_binder : DebruijnIndex ) -> Self :: Result { if self . forbid_free_vars ( ) { panic ! ( " " bound_var outer_binder ) } else { Self :: Result :: new ( ) } }
Invoked for `BoundVar` instances that are not bound
within the type being visited over:
Invoked for ` BoundVar ` instances that are not bound within the type being visited over :
&mut self
bound_var
BoundVar
outer_binder
DebruijnIndex