tests/crashes/121963.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//@ known-bug: #121963
#![feature(generic_const_exprs)]
use std::marker::PhantomData;

trait Arch {
    const CHANNEL_COUNT: usize = 2;
}

struct Channel<const N: usize> {
    r: [u8; N],
}

struct Dram<A: Arch, S = Channel<{ A::CHANNEL_COUNT }>> {
    a: PhantomData<A>,
    s: PhantomData<S>,
}

struct C<A: Arch>
where
    Channel<{ A::CHANNEL_COUNT }, u8>: Sized,
{
    b: Dram<A>,
    //  b: Dram<A, Channel<{ A::CHANNEL_COUNT }>>,  // When I specified generic here, it worked
}

fn main() {}