Function ra_ap_hir_ty::replace_errors_with_variables

source · [−]

pub fn replace_errors_with_variables<T>(t: &T) -> Canonical<T> where
    T: HasInterner<Interner = Interner> + TypeFoldable<Interner> + Clone,
    T: HasInterner<Interner = Interner>,

Expand description

‘Canonicalizes’ the t by replacing any errors with new variables. Also ensures there are no unbound variables or inference variables anywhere in the t.