Function compute_query_response_instantiation_values_in_universe 

fn compute_query_response_instantiation_values_in_universe<D, I, T>(
    delegate: &D,
    original_values: &[I::GenericArg],
    response: &Canonical<I, T>,
    span: I::Span,
    prev_universe: UniverseIndex,
) -> CanonicalVarValues<I>
where
    D: SolverDelegate<Interner = I>,
    I: Interner,
    T: ResponseT<I>,