Rustでconst Genericについて"unconstrained generic const"エラーを解消したい

Question

環境

• rustc: 1.56.0-nightly

エラーメッセージ

unconstrained generic constant
try adding a `where` bound using this expression: `where [(); 2*TRGSW::<N>::L]:`

ソースコード

pub struct TRGSW<const N: usize>;// この型を使った関数呼び出しで配列サイズを確定するためのconstGeneric
impl<const N: usize> TRGSW<N> {
    const BGBIT: u32 = 6;
    const BG: usize = 2_i32.pow(TRGSW::BGBIT) as usize;
    const BG_INV: f32 = 1.0 / (TRGSW::BG as f32);
    const L: usize = 3;
    pub fn new() -> Self {
        TRGSW::<N>
    }
    pub fn binary_pol2u32_pol<const M: usize>(pol: Polynomial<Binary, M>) -> Polynomial<u32, M> {
        pol!(array![ i => pol.coef_(i).to_u32().unwrap() ;M])
    }
    fn u32_pol2binary_pol<const M: usize>(pol: Polynomial<u32, M>) -> Polynomial<Binary, M> {
        pol!(array![ i => Binary::from(pol.coef_(i)) ; M])
    }
}
impl<const N: usize> CryptoCore for TRGSW<N> {
    // ここで例のエラーが出る。
    type Representation = Encrypted<
        [Polynomial<Torus, N>; 2*TRGSW::<N>::L],
        [Polynomial<Torus, N>; 2*TRGSW::<N>::L],
    >;
}

やったこと

2*TRGSW::<N>::Lを上で宣言した定数を計算したものに置き換えるとエラーはなくなる。

type Representation = Encrypted<
        [Polynomial<Torus, N>; 2*3],
        [Polynomial<Torus, N>; 2*3],
    >;

Comments

[blackenedgold]

掲載のコードだとpol!など未定義のアイテムによりコンパイルが通らないのですが、問題が再現する完全なソースコードの掲載をお願いできないでしょうか

Answer 1

他のエラーから付随してきていたエラーですべて直したら治りました。