tests/crashes/131046.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ known-bug: #131046

trait Owner {
    const C<const N: u32>: u32;
}

impl Owner for () {
    const C<const N: u32>: u32 = N;
}

fn take0<const N: u64>(_: impl Owner<C<N> = { N }>) {}

fn main() {
    take0::<128>(());
}