在第二个例子中，你有&'a <Self as IntoIterator>::Item，但是如果<Self as IntoIterator>::Item引用的类型包含的引用没有'a那么长怎么办？引用的有效期不能超过它指向的数据。编译器告诉你如何解决这个问题：

= help: consider adding an explicit lifetime bound `<Self as IntoIterator>::Item: 'a`...
  = note: ...so that the reference type `&'a <Self as IntoIterator>::Item` does not outlive the data it points at

果然，这编译：

trait HasIter<'a, _Dummy=&'a Self>: IntoIterator
where <Self as IntoIterator>::Item: 'a
{
    type Iter: Iterator<Item = &'a <Self as IntoIterator>::Item>;
}

在第一个例子中没有得到相同错误的原因是因为_Item = &'a <Self as IntoIterator>::Item指定了一个泛型类型，并将提供的类型 * 作为默认值。* 默认值并不一定在所有情况下都有意义，因为如果<Self as IntoIterator>::Item: 'a不为true，它可以在实现HasIter的站点被拒绝。相反，第二个例子中的Iter上的界限必须对trait的 * 所有可能的实现 * 保持。