Constraints placed on super type constructors are not evaluated (in contrast to constraints on methods).
We should add a note/clarification to "4.5.5. Method-level constraints in inheritance hierarchies"