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

   1 // check-pass
   2 #![allow(dead_code)]
   3 #![allow(unused_variables)]
   4 trait VecN {
   5     const DIM: usize;
   6 }
   7
   8 trait Mat {
   9     type Row: VecN;
  10 }
  11
  12 fn m<M: Mat>() {
  13     let x = M::Row::DIM;
  14 }
  15
  16 fn main() {}