Function ra_ap_hir_ty::replace_errors_with_variables [−][src]
pub fn replace_errors_with_variables<T>(t: &T) -> Canonical<T::Result> where
T: HasInterner<Interner = Interner> + Fold<Interner> + Clone,
T::Result: 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
.