blob: 415eb4138defeb0fd9220b230758cf2e4bc2eef4 (
plain)
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
|
#![deny(dead_code)]
struct T1; //~ ERROR struct `T1` is never constructed
pub struct T2(i32); //~ ERROR field `0` is never read
struct T3; //~ ERROR struct `T3` is never constructed
trait Trait1 { //~ ERROR trait `Trait1` is never used
const UNUSED: i32;
fn unused(&self) {}
fn construct_self() -> Self;
}
pub trait Trait2 {
const USED: i32;
fn used(&self) {}
}
pub trait Trait3 {
const USED: i32;
fn construct_self() -> Self;
}
impl Trait1 for T1 {
const UNUSED: i32 = 0;
fn construct_self() -> Self {
Self
}
}
impl Trait1 for T2 {
const UNUSED: i32 = 0;
fn construct_self() -> Self {
T2(0)
}
}
impl Trait2 for T1 {
const USED: i32 = 0;
}
impl Trait2 for T2 {
const USED: i32 = 0;
}
impl Trait3 for T3 {
const USED: i32 = 0;
fn construct_self() -> Self {
Self
}
}
fn main() {}
|
