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