fn response_no_constraints_raw<I: Interner>(
cx: I,
max_universe: UniverseIndex,
variables: I::CanonicalVars,
certainty: Certainty,
) -> CanonicalResponse<I>
fn response_no_constraints_raw<I: Interner>(
cx: I,
max_universe: UniverseIndex,
variables: I::CanonicalVars,
certainty: Certainty,
) -> CanonicalResponse<I>