src/test/ui/associated-consts/assoc-const-eq-missing.rs

   1 #![feature(associated_const_equality)]
   2 #![allow(unused)]
   3
   4 pub trait Foo {
   5   const N: usize;
   6 }
   7
   8 pub struct Bar;
   9
  10 impl Foo for Bar {
  11   const N: usize = 3;
  12 }
  13
  14
  15 fn foo1<F: Foo<Z=3>>() {}
  16 //~^ ERROR associated type
  17 fn foo2<F: Foo<Z=usize>>() {}
  18 //~^ ERROR associated type
  19 fn foo3<F: Foo<Z=5>>() {}
  20 //~^ ERROR associated type
  21
  22 fn main() {
  23   foo1::<Bar>();
  24   foo2::<Bar>();
  25   foo3::<Bar>();
  26 }