When dealing with a derivation constraint, you can satisfy the constraint using the base type itself, not necessarily a strict sub class of it.

• 在处理派生约束时,您可以通过使用基类型本身来满足该约束,而不必非要使用它的严格子类。