src/test/ui/error-codes/E0271.rs

   1 trait Trait { type AssociatedType; }
   2
   3 fn foo<T>(t: T) where T: Trait<AssociatedType=u32> {
   4     println!("in foo");
   5 }
   6
   7 impl Trait for i8 { type AssociatedType = &'static str; }
   8
   9 fn main() {
  10     foo(3_i8); //~ ERROR E0271
  11 }