为实现另一个特征的结构实现特征，该特征比实现另一个特征的结构通用

Question

请不要被问题标题吓倒。我想做的事情真的很简单：

use std::iter::FromIterator;

trait ElementTrait {}
trait FromIteratorTrait {}

impl<T: ElementTrait, C: FromIterator<T>> FromIteratorTrait for C {}

rustc抱怨以下问题：

the type parameter `T` is not constrained by the impl trait, self type, or predicates

有人可以解释为什么此代码会产生错误以及如何解决该错误吗？谢谢！