// run-pass #![allow(dead_code)] #![allow(unused_variables)] #![feature(associated_type_defaults)] use std::marker::PhantomData; pub trait Routing { type Output; fn resolve(&self, input: I); } pub trait ToRouting { type Input; type Routing : ?Sized = dyn Routing; fn to_routing(self) -> Self::Routing; } pub struct Mount> { action: R, _marker: PhantomData } impl> Mount { pub fn create>(mount: &str, input: T) { input.to_routing(); } } fn main() { }