src/test/ui/generic-associated-types/equality-bound.rs

   1 fn sum<I: Iterator<Item = ()>>(i: I) -> i32 where I::Item = i32 {
   2 //~^ ERROR equality constraints are not yet supported in `where` clauses
   3     panic!()
   4 }
   5 fn sum2<I: Iterator>(i: I) -> i32 where I::Item = i32 {
   6 //~^ ERROR equality constraints are not yet supported in `where` clauses
   7     panic!()
   8 }
   9 fn sum3<J: Iterator>(i: J) -> i32 where I::Item = i32 {
  10 //~^ ERROR equality constraints are not yet supported in `where` clauses
  11 //~| ERROR failed to resolve: use of undeclared type `I`
  12     panic!()
  13 }
  14
  15 fn main() {}