| //@ check-pass | |
| //@ compile-flags: -Znext-solver | |
| #![allow(incomplete_features)] | |
| #![feature(const_trait_impl, effects)] | |
| pub const fn equals_self<T: PartialEq>(t: &T) -> bool { | |
| *t == *t | |
| // FIXME(effects) ~^ ERROR mismatched types | |
| // FIXME(effects): diagnostic | |
| } | |
| fn main() {} |