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 // pretty-expanded FIXME #23616
  15
  16 use std::vec;
  17
  18 pub trait BitIter {
  19     type Iter: Iterator<Item=bool>;
  20     fn bit_iter(self) -> <Self as BitIter>::Iter;
  21 }
  22
  23 impl BitIter for Vec<bool> {
  24     type Iter = vec::IntoIter<bool>;
  25     fn bit_iter(self) -> <Self as BitIter>::Iter {
  26         self.into_iter()
  27     }
  28 }
  29
  30 fn count<T>(arg: T) -> usize
  31     where T: BitIter
  32 {
  33     let mut sum = 0;
  34     for i in arg.bit_iter() {
  35         if i {
  36             sum += 1;
  37         }
  38     }
  39     sum
  40 }
  41
  42 fn main() {
  43     let v = vec![true, false, true];
  44     let c = count(v);
  45     assert_eq!(c, 2);
  46 }