Skip to content

Commit 652e1a8

Browse files
author
Ariel Ben-Yehuda
committed
---
yaml --- r: 211997 b: refs/heads/tmp c: 65a3245 h: refs/heads/master i: 211995: 990bfb7 v: v3
1 parent b886656 commit 652e1a8

File tree

3 files changed

+54
-1
lines changed

3 files changed

+54
-1
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ refs/heads/building: 126db549b038c84269a1e4fe46f051b2c15d6970
3232
refs/heads/beta: 62e70d35be3fe532c26a400b499c58a18f18dd3a
3333
refs/heads/windistfix: 7608dbad651f02e837ed05eef3d74a6662a6e928
3434
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
35-
refs/heads/tmp: ae10e478eb61e75ebf3a7bf672b34b582555fd8e
35+
refs/heads/tmp: 65a3245319405e4dd53f10abdbc042502d184c93
3636
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3737
refs/tags/homu-tmp: b77d60adb019bb5de05e884a99f3290ec4694137
3838
refs/heads/gate: 97c84447b65164731087ea82685580cc81424412
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
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() {}
Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
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+
}

0 commit comments

Comments
 (0)