fn response_no_constraints<I: Interner>(
cx: I,
input: I::CanonicalInput,
certainty: Certainty,
) -> (QueryResult<I>, AccessedOpaques<I>)fn response_no_constraints<I: Interner>(
cx: I,
input: I::CanonicalInput,
certainty: Certainty,
) -> (QueryResult<I>, AccessedOpaques<I>)