1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
//@ run-pass
//@ unset-rustc-env:RUSTC_LOG_COLOR
// Regression test for https://github.com/rust-lang/rust/issues/73431.
pub trait Zero {
const ZERO: Self;
}
impl Zero for usize {
const ZERO: Self = 0;
}
impl<T: Zero> Zero for Wrapper<T> {
const ZERO: Self = Wrapper(T::ZERO);
}
#[derive(Debug, PartialEq, Eq)]
pub struct Wrapper<T>(T);
fn is_zero(x: Wrapper<usize>) -> bool {
match x {
Zero::ZERO => true,
_ => false,
}
}
fn main() {
let _ = is_zero(Wrapper(42));
}
|
