pub fn new_variable(&mut self, ui: UniverseIndex) -> InferenceVariable {
        let var = self.unify.new_key(InferenceValue::Unbound(ui));
        self.vars.push(var);
        var
    }
/// Creates a new inference variable and returns its index. The
/// kind of the variable should be known by the caller, but is not
/// tracked directly by the inference table.
Creates a new inference variable and returns its index. The
kind of the variable should be known by the caller, but is not
tracked directly by the inference table.
Creates a new inference variable and returns its index . The kind of the variable should be known by the caller but is not tracked directly by the inference table .
pub fn new_variable(&mut self, ui: UniverseIndex) -> InferenceVariable {
        let var = self.unify.new_key(InferenceValue::Unbound(ui));
        self.vars.push(var);
        var
    }
pub fn new_variable ( & mut self , ui : UniverseIndex ) -> InferenceVariable { let var = self . unify . new_key ( InferenceValue :: Unbound ( ui ) ) ; self . vars . push ( var ) ; var }
Creates a new inference variable and returns its index.
Creates a new inference variable and returns its index .
&mut self
ui
UniverseIndex