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

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