1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
//@ known-bug: rust-lang/rust#125801 #![feature(generic_const_exprs)] #![allow(incomplete_features)] trait Foo { type Output; } impl Foo for [u8; 3] { type Output = [u8; 3]; } static A: <[u8; N] as Foo>::Output = [1, 2, 3]; fn main() { || { let _ = A[1]; }; }