fn type_parameter_constraints_compatibile(
    old_type_constraints: AbilitySet,
    new_type_constraints: AbilitySet,
) -> bool {
    new_type_constraints.is_subset(old_type_constraints)
}
// When upgrading, the new constraints must be a subset of (or equal to) the old constraints.
// Removing an ability is fine, but adding an ability could cause existing callsites to fail
When upgrading, the new constraints must be a subset of (or equal to) the old constraints.
Removing an ability is fine, but adding an ability could cause existing callsites to fail
When upgrading the new constraints must be a subset of ( or equal to ) the old constraints . Removing an ability is fine but adding an ability could cause existing callsites to fail
fn type_parameter_constraints_compatibile(
    old_type_constraints: AbilitySet,
    new_type_constraints: AbilitySet,
) -> bool {
    new_type_constraints.is_subset(old_type_constraints)
}
fn type_parameter_constraints_compatibile ( old_type_constraints : AbilitySet , new_type_constraints : AbilitySet , ) -> bool { new_type_constraints . is_subset ( old_type_constraints ) }
When upgrading, the new constraints must be a subset of (or equal to) the old constraints.
When upgrading the new constraints must be a subset of ( or equal to ) the old constraints .
old_type_constraints
AbilitySet
new_type_constraints
AbilitySet