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