为啥下面的trait定义中，关联类型一定要写Self: 'me。这不是应该是可以编译器自动推导的吗？

trait Iterable {
    type Item<'me>
    where
        Self: 'me;

    type Iterator<'me>: Iterator<Item = Self::Item<'me>>
    where
        Self: 'me;

    fn iter<'a>(&'a self) -> Self::Iterator<'a>;
}

后面官方又给了workaround，为啥下面这种写法又不需要写了？？？

trait IterableTypes {
    type Item<'me>;
    type Iterator<'me>: Iterator<Item = Self::Item<'me>>;
}

trait Iterable: IterableTypes {
    fn iter<'a>(&'a self) -> Self::Iterator<'a>;
}

1. https://rust-lang.github.io/generic-associated-types-initiative/explainer/required_bounds.html
2. https://github.com/rust-lang/rust/issues/87479

看了下这两个链接，没看懂，有没有老师能通俗易懂的讲解一下