A protocol conformance available to a generic type only when its type arguments satisfy declared constraints.