[rustc.git] / src / test / ui / traits / parameterized-with-bounds.rs

// run-pass
// pretty-expanded FIXME #23616

#![allow(dead_code)]


trait A<T> { fn get(self) -> T; }
trait B<T, U> { fn get(self) -> (T,U); }
trait C<'a, U> { fn get(self) -> &'a U; }

mod foo {
    pub trait D<'a, T> { fn get(self) -> &'a T; }
}

fn foo1<T>(_: &(dyn A<T> + Send)) {}
fn foo2<T>(_: Box<dyn A<T> + Send + Sync>) {}
fn foo3<T>(_: Box<dyn B<isize, usize> + 'static>) {}
fn foo4<'a, T>(_: Box<dyn C<'a, T> + 'static + Send>) {}
fn foo5<'a, T>(_: Box<dyn foo::D<'a, T> + 'static + Send>) {}

pub fn main() {}
Commit	Line	Data
b7449926	1	// run-pass
c34b1796 AL	2	// pretty-expanded FIXME #23616
c34b1796 AL	3
1a4d82fc	4	#![allow(dead_code)]
223e47cc	5
223e47cc	6
85aaf69f SL	7	trait A<T> { fn get(self) -> T; }
	8	trait B<T, U> { fn get(self) -> (T,U); }
	9	trait C<'a, U> { fn get(self) -> &'a U; }
223e47cc	10
1a4d82fc	11	mod foo {
85aaf69f	12	pub trait D<'a, T> { fn get(self) -> &'a T; }
223e47cc LB	13	}
223e47cc LB	14
dc9dc135 XL	15	fn foo1<T>(_: &(dyn A<T> + Send)) {}
	16	fn foo2<T>(_: Box<dyn A<T> + Send + Sync>) {}
	17	fn foo3<T>(_: Box<dyn B<isize, usize> + 'static>) {}
	18	fn foo4<'a, T>(_: Box<dyn C<'a, T> + 'static + Send>) {}
	19	fn foo5<'a, T>(_: Box<dyn foo::D<'a, T> + 'static + Send>) {}
223e47cc LB	20
223e47cc LB	21	pub fn main() {}