fn universe_of_unbound_var(&mut self, var: InferenceVariable) -> UniverseIndex {
        match self.unify.probe_value(var) {
            InferenceValue::Unbound(ui) => ui,
            InferenceValue::Bound(_) => panic!("var_universe invoked on bound variable")
        }
    }
/// Given an unbound variable, returns its universe.
///
/// # Panics
///
/// Panics if the variable is bound.
Given an unbound variable, returns its universe.
Given an unbound variable returns its universe .
fn universe_of_unbound_var(&mut self, var: InferenceVariable) -> UniverseIndex {
        match self.unify.probe_value(var) {
            InferenceValue::Unbound(ui) => ui,
            InferenceValue::Bound(_) => panic!("var_universe invoked on bound variable")
        }
    }
fn universe_of_unbound_var ( & mut self , var : InferenceVariable ) -> UniverseIndex { match self . unify . probe_value ( var ) { InferenceValue :: Unbound ( ui ) => ui , InferenceValue :: Bound ( _ ) => panic ! ( " " ) } }
Given an unbound variable, returns its universe.
Given an unbound variable returns its universe .
&mut self
var
InferenceVariable
panics
Panics if the variable is bound.
Panics if the variable is bound .