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

// build-pass (FIXME(62277): could be check-pass?)
// pretty-expanded FIXME #23616

#![allow(dead_code)]

trait Foo<T> {
    fn noop(&self, _: T);
}

enum Bar<T> { Bla(T) }

struct Baz<'a> {
    inner: dyn for<'b> Foo<Bar<&'b ()>> + 'a,
}

fn main() {}
Commit	Line	Data
	1	// build-pass (FIXME(62277): could be check-pass?)
	2	// pretty-expanded FIXME #23616
	3
	4	#![allow(dead_code)]
	5
	6	trait Foo<T> {
	7	fn noop(&self, _: T);
	8	}
	9
	10	enum Bar<T> { Bla(T) }
	11
	12	struct Baz<'a> {
	13	inner: dyn for<'b> Foo<Bar<&'b ()>> + 'a,
	14	}
	15
	16	fn main() {}