协变与逆变生命周期

协变描述了当类型嵌套时，子类型关系如何变化。协变类型保持顺序（&'long T 是 &'short T 的子类型），逆变则反转顺序，不变则要求精确匹配。这会影响生命周期与引用、箱（box）以及函数参数的交互方式。