Function chalk_recursive::fulfill::u_canonicalize

source ยท
fn u_canonicalize<I: Interner, T>(
    _infer: &mut InferenceTable<I>,
    interner: I,
    value0: &Canonical<T>,
) -> (UCanonical<T>, UniverseMap)
where T: Clone + HasInterner<Interner = I> + TypeFoldable<I> + TypeVisitable<I>,