fn has_no_inference_or_external_constraints<I: Interner>(
    response: Canonical<I, Response<I>>,
) -> bool