1b1a35ee XL |
1 | // build-pass |
2 | #![feature(const_generics)] |
3 | #![allow(incomplete_features)] |
4 | |
5 | trait Bar<const M: usize> {} |
6 | impl<const N: usize> Bar<N> for A<{ 6 + 1 }> {} |
7 | |
8 | struct A<const N: usize> |
9 | where |
10 | A<N>: Bar<N>; |
11 | |
12 | fn main() { |
13 | let _ = A; |
14 | } |