blob: d2cb12697e4231e4cc987c47678c970dbcc36ad6 (
plain)
1
2
3
4
5
6
7
8
9
10
|
trait Trait {
type Foo<const N: u8>;
}
impl Trait for () {
type Foo<const N: u64> = u32;
//~^ error: type `Foo` has an incompatible generic parameter for trait
}
fn main() {}
|