[Rust]const genericについて、配列の大きさに[0;N/2]のような式を使うと怒られるがコンパイラに勧められた謎のトレイト境界で怒られなくなる。なぜ？

Question

環境

• cargo: cargo 1.56.0-nightly

ソースコード

怒られる

#![feature(const_generics)]
#![feature(const_evaluatable_checked)]

struct Sample<const N:usize>([i32;N]);
impl<const N:usize> Sample<N> {
    pub fn sample(&self){
        let _s= [0;N/2];
    }
}

unconstrained generic constant
try adding a `where` bound using this expression: `where [(); N/2]:`

怒られない

#![feature(const_generics)]
#![feature(const_evaluatable_checked)]

struct Sample<const N:usize>([i32;N]);
impl<const N:usize> Sample<N> where [(); N/2]:,{
    pub fn sample(&self){
        let _s= [0;N/2];
    }
}

どうしてなんでしょう？私気になります！！

この謎の

Answer 1

N/2であれば、任意のN: usizeでコンパイルエラーにならないことが（少なくとも人間には）わかりますが、例えば[0; N-1]の場合、N = 0とするとコンパイルできませんよね．
RustではC++（17以前としておきます）のtemplateとは異なり、ジェネリック境界を適切に定義する必要があります．
関数本体のブロックの中は境界にならないので、代わりにwhere [(); N/2]と書くことで、[(); N/2]、ひいては[i32; N/2]等が有効な型であることを境界条件としているのでしょう．

参考：Const well-formedness and const equality

Comments

[hidekiti]

回答有り難うございます！
よくわかりました。コンパイラは型とトレイトと型境界を見て判断するので、型境界でちゃんと正当な型か示して置く必要があるんですね！
逆に言えば、<const N:usize,const LES_THAN_N:usize>を実現したければ、where [();N-LES_THANN]:,としておけばいいんですね！！