arrays - [_; 中允许哪些表达式作为数组长度 N N]？

请考虑以下 Rust 中的最小示例:

const FOOBAR: usize = 3;

trait Foo {
    const BAR: usize;
}

struct Fubar();

impl Foo for Fubar {
    const BAR: usize = 3;
}

struct Baz<T>(T);

trait Qux {
    fn print_bar();
}

impl<T: Foo> Qux for Baz<T> {
    fn print_bar() {
        println!("bar: {}", T::BAR);   // works
        println!("{:?}", [T::BAR; 3]); // works
        println!("{:?}", [1; FOOBAR]); // works
        println!("{:?}", [1; T::BAR]); // this gives an error
    }
}

fn main() {
    Baz::<Fubar>::print_bar();
}

编译器给出以下错误:

error[E0599]: no associated item named `BAR` found for type `T` in the current scope
  --> src/main.rs:24:30
   |
24 |         println!("{:?}", [1; T::BAR]); // this gives an error
   |                              ^^^^^^ associated item not found in `T`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `BAR`, perhaps you need to implement it:
           candidate #1: `Foo`

无论我的问题的答案是什么，这都不是一个特别好的错误消息，因为它表明 T确实实现了Foo尽管后者是一个特征绑定(bind)。烧了很多时间后，我才发现其实T::BAR在其他上下文中是一个完全有效的表达式，只是不能作为数组的长度参数。

有什么规则可以控制什么样的表达式可以去那里？因为数组是 Sized ，我完全理解在编译时要知道长度。我自己来自 C++，我希望有一些类似于 constexpr 的限制。但我在 documentation 中没有遇到过它只是说