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>,