The non-interface types represented by an interface and allowed by it when the interface is used as a constraint.