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