求教为什么Rust要规定 &'a mut T与T的关系是不变的(invariant),有更详细的相关原理或原因介绍吗。我个人粗浅的理解是&'a mut T与T完全可以是协变的，好像也没发现有什么不兼容的问题。目前网上搜了点基本都是对官方结论的复述，问了AI回答牛头不对马嘴。

目前看的官方链接里，也只一笔带过说了我们不能假设&mut &'static str和&mut &'b str是兼容的以及我们发现将&mut &'a U视为&mut &'b U的子类型是不合适的，然后得出结论，&mut T在T上是不变的。

error: lifetime may not live long enough
  --> src/main.rs:32:5
   |
31 | fn test<'a, 'b: 'a>(a: &'a mut &'static str, mut b: &'a mut &'b str) {
   |             -- lifetime `'b` defined here
32 |     b = a;
   |     ^^^^^ assignment requires that `'b` must outlive `'static`
   |
   = note: requirement occurs because of a mutable reference to `&str`
   = note: mutable references are invariant over their type parameter
   = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance

感谢大佬提醒，发现是我自己理解有误，没认真思考，实际上官方给的例子已经很直白地解释了我之前的问题，是我自己不够仔细。