blob: 6bed8e3aff9754832a89037db7becddd51d6f8d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#![feature(generic_associated_types)]
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() {}
|