mirror of https://github.com/rust-lang/rust.git
31 lines
526 B
Rust
31 lines
526 B
Rust
//@ revisions: current next
|
|
//@[next] compile-flags: -Znext-solver
|
|
//@ ignore-compare-mode-next-solver (explicit revisions)
|
|
|
|
#[derive(Eq)] // OK
|
|
union U1 {
|
|
a: u8,
|
|
}
|
|
|
|
impl PartialEq for U1 {
|
|
fn eq(&self, rhs: &Self) -> bool {
|
|
true
|
|
}
|
|
}
|
|
|
|
#[derive(PartialEq, Copy, Clone)]
|
|
struct PartialEqNotEq;
|
|
|
|
#[derive(Eq)]
|
|
union U2 {
|
|
a: PartialEqNotEq, //~ ERROR the trait bound `PartialEqNotEq: Eq` is not satisfied
|
|
}
|
|
|
|
impl PartialEq for U2 {
|
|
fn eq(&self, rhs: &Self) -> bool {
|
|
true
|
|
}
|
|
}
|
|
|
|
fn main() {}
|