@@ -26,34 +26,34 @@ mod types {
26
26
}
27
27
28
28
pub type Alias = Priv ; //~ WARN private type in public interface
29
- //~^ WARNING HARD ERROR
29
+ //~^ WARNING hard error
30
30
pub enum E {
31
31
V1 ( Priv ) , //~ WARN private type in public interface
32
- //~^ WARNING HARD ERROR
32
+ //~^ WARNING hard error
33
33
V2 { field : Priv } , //~ WARN private type in public interface
34
- //~^ WARNING HARD ERROR
34
+ //~^ WARNING hard error
35
35
}
36
36
pub trait Tr {
37
37
const C : Priv = Priv ; //~ WARN private type in public interface
38
- //~^ WARNING HARD ERROR
38
+ //~^ WARNING hard error
39
39
type Alias = Priv ; //~ WARN private type in public interface
40
- //~^ WARNING HARD ERROR
40
+ //~^ WARNING hard error
41
41
fn f1 ( arg : Priv ) { } //~ WARN private type in public interface
42
- //~^ WARNING HARD ERROR
42
+ //~^ WARNING hard error
43
43
fn f2 ( ) -> Priv { panic ! ( ) } //~ WARN private type in public interface
44
- //~^ WARNING HARD ERROR
44
+ //~^ WARNING hard error
45
45
}
46
46
extern {
47
47
pub static ES : Priv ; //~ WARN private type in public interface
48
- //~^ WARNING HARD ERROR
48
+ //~^ WARNING hard error
49
49
pub fn ef1 ( arg : Priv ) ; //~ WARN private type in public interface
50
- //~^ WARNING HARD ERROR
50
+ //~^ WARNING hard error
51
51
pub fn ef2 ( ) -> Priv ; //~ WARN private type in public interface
52
- //~^ WARNING HARD ERROR
52
+ //~^ WARNING hard error
53
53
}
54
54
impl PubTr for Pub {
55
55
type Alias = Priv ; //~ WARN private type in public interface
56
- //~^ WARNING HARD ERROR
56
+ //~^ WARNING hard error
57
57
}
58
58
}
59
59
@@ -64,21 +64,21 @@ mod traits {
64
64
65
65
pub type Alias < T : PrivTr > = T ; //~ WARN private trait in public interface
66
66
//~^ WARN trait bounds are not (yet) enforced in type definitions
67
- //~| WARNING HARD ERROR
67
+ //~| WARNING hard error
68
68
pub trait Tr1 : PrivTr { } //~ WARN private trait in public interface
69
- //~^ WARNING HARD ERROR
69
+ //~^ WARNING hard error
70
70
pub trait Tr2 < T : PrivTr > { } //~ WARN private trait in public interface
71
- //~^ WARNING HARD ERROR
71
+ //~^ WARNING hard error
72
72
pub trait Tr3 {
73
73
type Alias : PrivTr ; //~ WARN private trait in public interface
74
- //~^ WARNING HARD ERROR
74
+ //~^ WARNING hard error
75
75
fn f < T : PrivTr > ( arg : T ) { } //~ WARN private trait in public interface
76
- //~^ WARNING HARD ERROR
76
+ //~^ WARNING hard error
77
77
}
78
78
impl < T : PrivTr > Pub < T > { } //~ WARN private trait in public interface
79
- //~^ WARNING HARD ERROR
79
+ //~^ WARNING hard error
80
80
impl < T : PrivTr > PubTr for Pub < T > { } //~ WARN private trait in public interface
81
- //~^ WARNING HARD ERROR
81
+ //~^ WARNING hard error
82
82
}
83
83
84
84
mod traits_where {
@@ -87,17 +87,17 @@ mod traits_where {
87
87
pub trait PubTr { }
88
88
89
89
pub type Alias < T > where T : PrivTr = T ; //~ WARN private trait in public interface
90
- //~^ WARNING HARD ERROR
90
+ //~^ WARNING hard error
91
91
pub trait Tr2 < T > where T : PrivTr { } //~ WARN private trait in public interface
92
- //~^ WARNING HARD ERROR
92
+ //~^ WARNING hard error
93
93
pub trait Tr3 {
94
94
fn f < T > ( arg : T ) where T : PrivTr { } //~ WARN private trait in public interface
95
- //~^ WARNING HARD ERROR
95
+ //~^ WARNING hard error
96
96
}
97
97
impl < T > Pub < T > where T : PrivTr { } //~ WARN private trait in public interface
98
- //~^ WARNING HARD ERROR
98
+ //~^ WARNING hard error
99
99
impl < T > PubTr for Pub < T > where T : PrivTr { } //~ WARN private trait in public interface
100
- //~^ WARNING HARD ERROR
100
+ //~^ WARNING hard error
101
101
}
102
102
103
103
mod generics {
@@ -107,13 +107,13 @@ mod generics {
107
107
pub trait PubTr < T > { }
108
108
109
109
pub trait Tr1 : PrivTr < Pub > { } //~ WARN private trait in public interface
110
- //~^ WARNING HARD ERROR
110
+ //~^ WARNING hard error
111
111
pub trait Tr2 : PubTr < Priv > { } //~ WARN private type in public interface
112
- //~^ WARNING HARD ERROR
112
+ //~^ WARNING hard error
113
113
pub trait Tr3 : PubTr < [ Priv ; 1 ] > { } //~ WARN private type in public interface
114
- //~^ WARNING HARD ERROR
114
+ //~^ WARNING hard error
115
115
pub trait Tr4 : PubTr < Pub < Priv > > { } //~ WARN private type in public interface
116
- //~^ WARNING HARD ERROR
116
+ //~^ WARNING hard error
117
117
}
118
118
119
119
mod impls {
@@ -140,7 +140,7 @@ mod impls {
140
140
}
141
141
impl PubTr for Pub {
142
142
type Alias = Priv ; //~ WARN private type in public interface
143
- //~^ WARNING HARD ERROR
143
+ //~^ WARNING hard error
144
144
}
145
145
}
146
146
@@ -207,27 +207,27 @@ mod aliases_pub {
207
207
pub trait Tr1 : PrivUseAliasTr { } // OK
208
208
// This should be OK, if type aliases are substituted
209
209
pub trait Tr2 : PrivUseAliasTr < PrivAlias > { } //~ WARN private type in public interface
210
- //~^ WARNING HARD ERROR
210
+ //~^ WARNING hard error
211
211
212
212
impl PrivAlias {
213
213
pub fn f ( arg : Priv ) { } //~ WARN private type in public interface
214
- //~^ WARNING HARD ERROR
214
+ //~^ WARNING hard error
215
215
}
216
216
// This doesn't even parse
217
217
// impl <Priv as PrivTr>::AssocAlias {
218
218
// pub fn f(arg: Priv) {} // WARN private type in public interface
219
219
// }
220
220
impl PrivUseAliasTr for PrivUseAlias {
221
221
type Check = Priv ; //~ WARN private type in public interface
222
- //~^ WARNING HARD ERROR
222
+ //~^ WARNING hard error
223
223
}
224
224
impl PrivUseAliasTr for PrivAlias {
225
225
type Check = Priv ; //~ WARN private type in public interface
226
- //~^ WARNING HARD ERROR
226
+ //~^ WARNING hard error
227
227
}
228
228
impl PrivUseAliasTr for <Priv as PrivTr >:: AssocAlias {
229
229
type Check = Priv ; //~ WARN private type in public interface
230
- //~^ WARNING HARD ERROR
230
+ //~^ WARNING hard error
231
231
}
232
232
}
233
233
@@ -250,11 +250,11 @@ mod aliases_priv {
250
250
impl PrivTr for Priv { }
251
251
252
252
pub trait Tr1 : PrivUseAliasTr { } //~ WARN private trait in public interface
253
- //~^ WARNING HARD ERROR
253
+ //~^ WARNING hard error
254
254
pub trait Tr2 : PrivUseAliasTr < PrivAlias > { } //~ WARN private trait in public interface
255
255
//~^ WARN private type in public interface
256
- //~| WARNING HARD ERROR
257
- //~| WARNING HARD ERROR
256
+ //~| WARNING hard error
257
+ //~| WARNING hard error
258
258
259
259
impl PrivUseAlias {
260
260
pub fn f ( arg : Priv ) { } // OK
0 commit comments