[rustc.git] / src / test / ui / issues / issue-25700-1.rs

// run-pass
struct S<T: 'static>(Option<&'static T>);

trait Tr { type Out; }
impl<T> Tr for T { type Out = T; }

impl<T: 'static> Copy for S<T> where S<T>: Tr<Out=T> {}
impl<T: 'static> Clone for S<T> where S<T>: Tr<Out=T> {
    fn clone(&self) -> Self { *self }
}
fn main() {
    S::<()>(None);
}
Commit	Line	Data
b7449926	1	// run-pass
62682a34	2	struct S<T: 'static>(Option<&'static T>);
85aaf69f	3
62682a34 SL	4	trait Tr { type Out; }
62682a34 SL	5	impl<T> Tr for T { type Out = T; }
223e47cc	6
62682a34 SL	7	impl<T: 'static> Copy for S<T> where S<T>: Tr<Out=T> {}
	8	impl<T: 'static> Clone for S<T> where S<T>: Tr<Out=T> {
	9	fn clone(&self) -> Self { *self }
	10	}
	11	fn main() {
	12	S::<()>(None);
	13	}