src/test/run-pass/associated-types-binding-in-trait.rs

   1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // Test a case where the associated type binding (to `bool`, in this
  12 // case) is derived from the trait definition. Issue #21636.
  13
  14 use std::vec;
  15
  16 pub trait BitIter {
  17     type Iter: Iterator<Item=bool>;
  18     fn bit_iter(self) -> <Self as BitIter>::Iter;
  19 }
  20
  21 impl BitIter for Vec<bool> {
  22     type Iter = vec::IntoIter<bool>;
  23     fn bit_iter(self) -> <Self as BitIter>::Iter {
  24         self.into_iter()
  25     }
  26 }
  27
  28 fn count<T>(arg: T) -> usize
  29     where T: BitIter
  30 {
  31     let mut sum = 0;
  32     for i in arg.bit_iter() {
  33         if i {
  34             sum += 1;
  35         }
  36     }
  37     sum
  38 }
  39
  40 fn main() {
  41     let v = vec![true, false, true];
  42     let c = count(v);
  43     assert_eq!(c, 2);
  44 }