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