pub(crate) fn canonicalize_response<D, I, T>(
delegate: &D,
max_input_universe: UniverseIndex,
value: T,
) -> Canonical<I, T>where
D: SolverDelegate<Interner = I>,
I: Interner,
T: TypeFoldable<I>,pub(crate) fn canonicalize_response<D, I, T>(
delegate: &D,
max_input_universe: UniverseIndex,
value: T,
) -> Canonical<I, T>where
D: SolverDelegate<Interner = I>,
I: Interner,
T: TypeFoldable<I>,