Function chalk_recursive::fulfill::canonicalize
source ยท fn canonicalize<I: Interner, T>(
infer: &mut InferenceTable<I>,
interner: I,
value: T,
) -> (Canonical<T>, Vec<GenericArg<I>>)where
T: TypeFoldable<I> + HasInterner<Interner = I>,