src/test/ui/nll/user-annotations/normalization.rs - third_party/rust - Git at Google

 // Test that we enforce a `&'static` requirement that is only visible
 // after normalization.

 #![feature(nll)]
 #![ignore(unused)]

 trait Foo { type Out; }
 impl Foo for () { type Out = &'static u32; }

 fn main() {
     let a = 22;
     let b: <() as Foo>::Out = &a; //~ ERROR
 }
	// Test that we enforce a `&'static` requirement that is only visible
	// after normalization.

	#![feature(nll)]
	#![ignore(unused)]

	trait Foo { type Out; }
	impl Foo for () { type Out = &'static u32; }

	fn main() {
	let a = 22;
	let b: <() as Foo>::Out = &a; //~ ERROR
	}