Constraints are now contravariant
This tag has no release notes.