关联项

"关联项"是指与各种类型的项相关的一组规则。它是 trait 泛型的扩展，允许 trait 在内部定义新的项。

其中一种项被称为关联类型，当 trait 对其容器类型是泛型时，它提供了更简洁的使用模式。