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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
//@ check-pass
#![warn(dead_code)]
const TLC: usize = 4;
trait Tr { fn doit(&self); }
impl Tr for [usize; TLC] {
fn doit(&self) {
println!("called 4");
}
}
struct X;
struct Y;
struct Z;
trait Foo<T> {
type Ty;
fn foo() -> Self::Ty;
}
impl Foo<Y> for X {
type Ty = Z;
fn foo() -> Self::Ty {
unimplemented!()
}
}
enum E {
A,
B, //~ WARN variants `B` and `C` are never constructed
C,
}
type F = E;
impl E {
fn check(&self) -> bool {
match self {
Self::A => true,
Self::B => false,
F::C => false,
}
}
}
fn main() {
let s = [0,1,2,3];
s.doit();
X::foo();
E::A.check();
}
|
