| // run-pass |
| // Test associated type references in structure fields. |
| |
| // pretty-expanded FIXME #23616 |
| |
| trait Test { |
| type V; |
| |
| fn test(&self, value: &Self::V) -> bool; |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| |
| struct TesterPair<T:Test> { |
| tester: T, |
| value: T::V, |
| } |
| |
| impl<T:Test> TesterPair<T> { |
| fn new(tester: T, value: T::V) -> TesterPair<T> { |
| TesterPair { tester: tester, value: value } |
| } |
| |
| fn test(&self) -> bool { |
| self.tester.test(&self.value) |
| } |
| } |
| |
| /////////////////////////////////////////////////////////////////////////// |
| |
| struct EqU32(u32); |
| impl Test for EqU32 { |
| type V = u32; |
| |
| fn test(&self, value: &u32) -> bool { |
| self.0 == *value |
| } |
| } |
| |
| struct EqI32(i32); |
| impl Test for EqI32 { |
| type V = i32; |
| |
| fn test(&self, value: &i32) -> bool { |
| self.0 == *value |
| } |
| } |
| |
| fn main() { |
| let tester = TesterPair::new(EqU32(22), 23); |
| tester.test(); |
| |
| let tester = TesterPair::new(EqI32(22), 23); |
| tester.test(); |
| } |