]>
Commit | Line | Data |
---|---|---|
416331ca | 1 | // build-pass (FIXME(62277): could be check-pass?) |
0bf4aa26 XL |
2 | #![allow(dead_code)] |
3 | #![allow(unused_variables)] | |
ff7c6d11 XL |
4 | trait VecN { |
5 | const DIM: usize; | |
6 | } | |
abe05a73 | 7 | |
ff7c6d11 XL |
8 | trait Mat { |
9 | type Row: VecN; | |
10 | } | |
11 | ||
12 | fn m<M: Mat>() { | |
13 | let x = M::Row::DIM; | |
14 | } | |
abe05a73 | 15 | |
ff7c6d11 | 16 | fn main() {} |