Function has_no_inference_or_external_constraints 

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