src/test/ui/issues/issue-39211.rs

   1 #![feature(associated_consts)]
   2
   3 trait VecN {
   4     const DIM: usize;
   5 }
   6 trait Mat {
   7     type Row: VecN;
   8 }
   9
  10 fn m<M: Mat>() {
  11     let a = [3; M::Row::DIM];
  12     //~^ ERROR constant expression depends on a generic parameter
  13 }
  14 fn main() {
  15 }