summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/occurs-check/unused-substs-1.rs
blob: 9d12250c9143387019307a8726b7fb8d8ae71660 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

trait Bar<const M: usize> {}
impl<const N: usize> Bar<N> for A<{ 6 + 1 }> {}

struct A<const N: usize>
where
    A<N>: Bar<N>;

fn main() {
    let _ = A; //~ERROR the trait bound
}