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