Note that this relates to BV 1.0/1.1, this is not related to the usage of constraints on type parameters themselves as currently under investigation.