如何在where子句中使用關聯的常量？

Question

以下對我來說似乎是一個錯誤。

struct Seq([u8; 8]); 

impl From<[u8; 8]> for Seq { 
    fn from(data: [u8; 8]) -> Seq { 
     Seq(data) 
    } 
} 

trait Sequence { 
    const LEN: usize; 
} 

impl Sequence for Seq { 
    const LEN: usize = 8; 
} 

trait ByteSequence { 
    fn check(); 
} 

impl<S> ByteSequence for S 
where 
    S: Sequence + From<[u8; <S as Sequence>::LEN]>, 
{ 
    fn check() {} 
} 

結果如下錯誤：playground

error[E0277]: the trait bound `S: Sequence` is not satisfied 
    --> src/main.rs:23:29 
    | 
23 |  S: Sequence + From<[u8; <S as Sequence>::LEN]>, 
    |        ^^^^^^^^^^^^^^^^^^^^ the trait `Sequence` is not implemented for `S` 
    | 
    = help: consider adding a `where S: Sequence` bound 
    = note: required by `Sequence::LEN` 

我還試圖加入結合在一個額外的行或直接在IMPL聲明。

Answer 1

這不是錯誤，它只是還沒有實現。 Generic associated consts can't currently be used to parameterize fixed array lengths。您也許可以提交另一個問題來尋找不太有用的錯誤消息（至少有one other poor error message）。