For example, constraints are checked at a method call to a generic method, or when building a constructed type out of a generic type.

• 例如,调用泛型方法时会检查约束,在生成用泛型类型构造的类型时也会检查约束。