blob: 6f8ec700951e25a4cec8c1584e29fea67aed6328 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// run-pass
#![allow(dead_code)]
#![allow(unused_variables)]
#![feature(associated_type_defaults)]
use std::marker::PhantomData;
pub trait Routing<I> {
type Output;
fn resolve(&self, input: I);
}
pub trait ToRouting {
type Input;
type Routing : ?Sized = dyn Routing<Self::Input, Output=()>;
fn to_routing(self) -> Self::Routing;
}
pub struct Mount<I, R: Routing<I>> {
action: R,
_marker: PhantomData<I>
}
impl<I, R: Routing<I>> Mount<I, R> {
pub fn create<T: ToRouting<Routing=R>>(mount: &str, input: T) {
input.to_routing();
}
}
fn main() {
}
|