1 // Check that we test WF conditions for fn return types in a trait definition.
3 #![feature(rustc_attrs)]
5 #![allow(unused_variables)]
7 struct Bar<T:Eq+?Sized> { value: Box<T> }
10 fn bar(&self) -> &Bar<Self>;
13 // Here, Eq ought to be implemented.