小编Joe*_*yBF的帖子

我相信下面的代码是有意义的：

trait FooConst<const N: usize> {}
trait Foo {}

impl<T: FooConst<N>, const N: usize> Foo for T {}

但是，当我尝试编译它时，出现错误 E0207，指出该参数N是无界的。我不明白为什么，因为在我看来，这是绑定的一部分T。

游乐场链接