]>
Commit | Line | Data |
---|---|---|
94222f64 | 1 | #![feature(generic_const_exprs)] |
1b1a35ee XL |
2 | #![allow(incomplete_features)] |
3 | ||
4 | trait Bar<const M: usize> {} | |
5 | impl<const N: usize> Bar<N> for A<{ 6 + 1 }> {} | |
6 | ||
7 | struct A<const N: usize> | |
8 | where | |
9 | A<N>: Bar<N>; | |
10 | ||
11 | fn main() { | |
cdc7bbd5 | 12 | let _ = A; //~ERROR the trait bound |
1b1a35ee | 13 | } |