Function has_only_region_constraints 

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