The genericity mechanism should support the constrained form of genericity.

• 泛型机制应该支持泛型的限定性形态.