fn visit_inference_var(
        &mut self,
        var: InferenceVar,
        _outer_binder: DebruijnIndex,
    ) -> Self::Result {
        if self.forbid_inference_vars() {
            panic!("unexpected inference type `{:?}`", var)
        } else {
            Self::Result::new()
        }
    }
/// Invoked for each occurrence of a inference type; these are
/// used when we instantiate binders universally.
Invoked for each occurrence of a inference type; these are
used when we instantiate binders universally.
Invoked for each occurrence of a inference type ; these are used when we instantiate binders universally .
fn visit_inference_var(
        &mut self,
        var: InferenceVar,
        _outer_binder: DebruijnIndex,
    ) -> Self::Result {
        if self.forbid_inference_vars() {
            panic!("unexpected inference type `{:?}`", var)
        } else {
            Self::Result::new()
        }
    }
fn visit_inference_var ( & mut self , var : InferenceVar , _outer_binder : DebruijnIndex , ) -> Self :: Result { if self . forbid_inference_vars ( ) { panic ! ( " " var ) } else { Self :: Result :: new ( ) } }
Invoked for each occurrence of a inference type; these are
used when we instantiate binders universally.
Invoked for each occurrence of a inference type ; these are used when we instantiate binders universally .
&mut self
var
InferenceVar
_outer_binder
DebruijnIndex