[rustc.git] / src / test / ui / impl-trait / in-trait / nested-rpitit.rs

// check-pass

#![feature(return_position_impl_trait_in_trait)]
#![allow(incomplete_features)]

use std::fmt::Display;
use std::ops::Deref;

trait Foo {
    fn bar(self) -> impl Deref<Target = impl Display + ?Sized>;
}

struct A;

impl Foo for A {
    fn bar(self) -> &'static str {
        "Hello, world"
    }
}

struct B;

impl Foo for B {
    fn bar(self) -> Box<i32> {
        Box::new(42)
    }
}

fn main() {
    println!("Message for you: {:?}", &*A.bar());
    println!("Another for you: {:?}", &*B.bar());
}
Commit	Line	Data
f2b60f7d FG	1	// check-pass
	2
	3	#![feature(return_position_impl_trait_in_trait)]
	4	#![allow(incomplete_features)]
	5
	6	use std::fmt::Display;
	7	use std::ops::Deref;
	8
	9	trait Foo {
	10	fn bar(self) -> impl Deref<Target = impl Display + ?Sized>;
	11	}
	12
	13	struct A;
	14
	15	impl Foo for A {
	16	fn bar(self) -> &'static str {
	17	"Hello, world"
	18	}
	19	}
	20
	21	struct B;
	22
	23	impl Foo for B {
	24	fn bar(self) -> Box<i32> {
	25	Box::new(42)
	26	}
	27	}
	28
	29	fn main() {
	30	println!("Message for you: {:?}", &*A.bar());
	31	println!("Another for you: {:?}", &*B.bar());
	32	}