pub fn response_no_constraints_raw<I: Interner>(
cx: I,
max_universe: UniverseIndex,
var_kinds: I::CanonicalVarKinds,
certainty: Certainty,
) -> CanonicalResponse<I>pub fn response_no_constraints_raw<I: Interner>(
cx: I,
max_universe: UniverseIndex,
var_kinds: I::CanonicalVarKinds,
certainty: Certainty,
) -> CanonicalResponse<I>