Function chalk_recursive::fulfill::unify
source ยท fn unify<I: Interner, T>(
infer: &mut InferenceTable<I>,
interner: I,
db: &dyn UnificationDatabase<I>,
environment: &Environment<I>,
variance: Variance,
a: &T,
b: &T,
) -> Fallible<Vec<InEnvironment<Goal<I>>>>where
T: ?Sized + Zip<I>,