let subset_qualifiers ~sub ~sup =
  (sup.ct_const_p || not sub.ct_const_p )
    && (sup.ct_volatile_p || not sub.ct_volatile_p )