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 @@ -10,7 +10,7 @@ refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
10
10
refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
11
11
refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
12
12
refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
13
- refs/heads/auto: ae10e478eb61e75ebf3a7bf672b34b582555fd8e
13
+ refs/heads/auto: 65a3245319405e4dd53f10abdbc042502d184c93
14
14
refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
15
15
refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c
16
16
refs/tags/0.1: b19db808c2793fe2976759b85a355c3ad8c8b336
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