|
//@ 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];
|
|
};
|
|
}
|