File tree Expand file tree Collapse file tree 2 files changed +50
-0
lines changed Expand file tree Collapse file tree 2 files changed +50
-0
lines changed Original file line number Diff line number Diff line change 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+ trait Factory {
12+ type Product ;
13+ fn create ( & self ) -> <Self as Factory >:: Product ;
14+ }
15+
16+ impl Factory for f64 {
17+ type Product = f64 ;
18+ fn create ( & self ) -> f64 { * self * * self }
19+ }
20+
21+ impl < A : Factory , B : Factory > Factory for ( A , B ) {
22+ type Product = ( <A as Factory >:: Product , <B as Factory >:: Product ) ;
23+ fn create ( & self ) -> ( <A as Factory >:: Product , <B as Factory >:: Product ) {
24+ let ( ref a, ref b) = * self ;
25+ ( a. create ( ) , b. create ( ) )
26+ }
27+ }
28+
29+ fn main ( ) {
30+ assert_eq ! ( ( 16. , 25. ) , ( 4. , 5. ) . create( ) ) ;
31+ }
Original file line number Diff line number Diff line change 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+ pub trait Foo : Send { }
12+
13+ pub struct MyFoo {
14+ children : Vec < Box < Foo > > ,
15+ }
16+
17+ impl Foo for MyFoo { }
18+
19+ pub fn main ( ) { }
You can’t perform that action at this time.
0 commit comments