trait Dim {
    fn dim() -> usize;
}

enum Dim3 {}

impl Dim for Dim3 {
    fn dim() -> usize {
        3
    }
}

fn main() {
    let array: [usize; Dim3::dim()]
    //~^ ERROR E0015
    //~| ERROR E0080
        = [0; Dim3::dim()];
        //~^ ERROR E0015
        //~| ERROR E0080
}
