src/test/run-pass/associated-types-ref-from-struct.rs

   1 // Copyright 2014 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 associated type references in structure fields.
  12
  13 trait Test {
  14     type V;
  15
  16     fn test(&self, value: &Self::V) -> bool;
  17 }
  18
  19 ///////////////////////////////////////////////////////////////////////////
  20
  21 struct TesterPair<T:Test> {
  22     tester: T,
  23     value: T::V,
  24 }
  25
  26 impl<T:Test> TesterPair<T> {
  27     fn new(tester: T, value: T::V) -> TesterPair<T> {
  28         TesterPair { tester: tester, value: value }
  29     }
  30
  31     fn test(&self) -> bool {
  32         self.tester.test(&self.value)
  33     }
  34 }
  35
  36 ///////////////////////////////////////////////////////////////////////////
  37
  38 struct EqU32(u32);
  39 impl Test for EqU32 {
  40     type V = u32;
  41
  42     fn test(&self, value: &u32) -> bool {
  43         self.0 == *value
  44     }
  45 }
  46
  47 struct EqI32(i32);
  48 impl Test for EqI32 {
  49     type V = i32;
  50
  51     fn test(&self, value: &i32) -> bool {
  52         self.0 == *value
  53     }
  54 }
  55
  56 fn main() {
  57     let tester = TesterPair::new(EqU32(22), 23);
  58     tester.test();
  59
  60     let tester = TesterPair::new(EqI32(22), 23);
  61     tester.test();
  62 }