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 32 33 34 35 36 37 38 39 40 41 42 43 44 45
|
//@ check-pass
use std::fmt::Debug;
trait Foo {
fn foo(&self) -> impl Debug;
}
impl Foo for () {
fn foo(&self) -> impl Debug {
"Hello, world"
}
}
impl<T: Default + Debug> Foo for std::marker::PhantomData<T> {
fn foo(&self) -> impl Debug {
T::default()
}
}
trait Bar {
fn bar<T>(&self) -> impl Debug;
}
impl Bar for () {
fn bar<T>(&self) -> impl Debug {
format!("Hello with generic {}", std::any::type_name::<T>())
}
}
trait Baz {
fn baz(&self) -> impl Debug + '_;
}
impl Baz for String {
fn baz(&self) -> impl Debug + '_ {
(self,)
}
}
fn main() {
println!("{:?}", ().foo());
println!("{:?}", ().bar::<u64>());
println!("{:?}", "hi".to_string().baz());
}
|