Stricter checks for type_ref_qual_cmp