如何确保特征范围内的特征边界？

Question

如果我有类似以下Foo特征的特征

trait Foo: Bar {
  type Account: SomeTrait;
}

有一个需要Bar的 trait bound

trait Bar {
  type UserId;
}

如何在Foo特征中请求此特征需要Bar特征中的UserId类型为u32 ？

重要提示：我无法编辑Bar特征。

Answer 1

这可以指定为命名的通用参数： Bar<UserId=u32> 。

trait SomeTrait {}

trait Foo: Bar<UserId=u32> {
    type Account: SomeTrait;
}

trait Bar {
    type UserId;
}

见操场。