src/test/ui/generic-associated-types/const_params_have_right_type.rs

   1 #![feature(generic_associated_types)]
   2
   3 trait Trait {
   4     type Foo<const N: u8>;
   5 }
   6
   7 impl Trait for () {
   8     type Foo<const N: u64> = u32;
   9     //~^ error: type `Foo` has an incompatible generic parameter for trait
  10 }
  11
  12 fn main() {}