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() {}
|
