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