1 #![feature(const_trait_impl)]
7 fn eq(&self, _: &Self) -> bool;
11 fn eq(&self, _: &S) -> bool {
16 const fn equals_self<T: ~const Foo>(t: &T) -> bool {
20 // Calling `equals_self` with something that has a non-const impl should throw an error, despite
21 // it not using the impl.
23 pub const EQ: bool = equals_self(&S);