File tree Expand file tree Collapse file tree 3 files changed +54
-1
lines changed Expand file tree Collapse file tree 3 files changed +54
-1
lines changed Original file line number Diff line number Diff line change @@ -29,6 +29,6 @@ refs/heads/tmp: e5d90d98402475b6e154ce216f9efcb80da1a747
29
29
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
30
30
refs/tags/homu-tmp: 1fe32ca12c51afcd761d9962f51a74ff0d07a591
31
31
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32
- refs/heads/stable: ae10e478eb61e75ebf3a7bf672b34b582555fd8e
32
+ refs/heads/stable: 65a3245319405e4dd53f10abdbc042502d184c93
33
33
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
34
34
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
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 Foo { type T ; }
12
+ trait Bar {
13
+ type Foo : Foo ;
14
+ type FooT = <<Self as Bar >:: Foo >:: T ; //~ ERROR ambiguous associated type
15
+ }
16
+
17
+ fn main ( ) { }
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
+ use std:: marker:: PhantomData ;
12
+
13
+ pub trait Routing < I > {
14
+ type Output ;
15
+ fn resolve ( & self , input : I ) ;
16
+ }
17
+
18
+ pub trait ToRouting {
19
+ type Input ;
20
+ type Routing : ?Sized = Routing < Self :: Input , Output =( ) > ;
21
+ fn to_routing ( self ) -> Self :: Routing ;
22
+ }
23
+
24
+ pub struct Mount < I , R : Routing < I > > {
25
+ action : R ,
26
+ _marker : PhantomData < I >
27
+ }
28
+
29
+ impl < I , R : Routing < I > > Mount < I , R > {
30
+ pub fn create < T : ToRouting < Routing =R > > ( mount : & str , input : T ) {
31
+ input. to_routing ( ) ;
32
+ }
33
+ }
34
+
35
+ fn main ( ) {
36
+ }
You can’t perform that action at this time.
0 commit comments