//@ check-pass | |
#![feature(fn_delegation)] | |
#![allow(incomplete_features)] | |
mod inner { | |
pub trait TraitFoo { | |
fn foo(&self) -> u8; | |
} | |
pub trait TraitBar { | |
fn bar(&self) -> u8; | |
} | |
impl TraitFoo for u8 { | |
fn foo(&self) -> u8 { 0 } | |
} | |
impl TraitBar for u8 { | |
fn bar(&self) -> u8 { 1 } | |
} | |
} | |
trait Trait { | |
fn foo(&self) -> u8; | |
fn bar(&self) -> u8; | |
} | |
impl Trait for u8 { | |
reuse inner::TraitFoo::*; | |
reuse inner::TraitBar::*; | |
} | |
fn main() { | |
let u = 0u8; | |
u.foo(); | |
u.bar(); | |
} |