1 // Check that we test WF conditions for fn arguments 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, x: &Bar<Self>);
13 // Here, Eq ought to be implemented.