blob: 86e0eae61c9cec275094f63484e4ee4dfbba4cb5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//@ 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() {}
|
