blob: 81703ae106766ac3388279d82d7f35f92b055aa1 (
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
#![feature(decl_macro, associated_type_defaults)]
#![allow(private_interfaces)]
mod priv_nominal {
pub struct Pub;
impl Pub {
fn method(&self) {}
const CONST: u8 = 0;
// type AssocTy = u8;
}
pub macro mac() {
let value = Pub::method;
//~^ ERROR type `for<'a> fn(&'a priv_nominal::Pub) {priv_nominal::Pub::method}` is private
value;
//~^ ERROR type `for<'a> fn(&'a priv_nominal::Pub) {priv_nominal::Pub::method}` is private
Pub.method();
//~^ ERROR type `for<'a> fn(&'a priv_nominal::Pub) {priv_nominal::Pub::method}` is private
Pub::CONST;
//~^ ERROR associated constant `CONST` is private
// let _: Pub::AssocTy;
// pub type InSignatureTy = Pub::AssocTy;
}
}
fn priv_nominal() {
priv_nominal::mac!();
}
mod priv_signature {
struct Priv;
pub struct Pub;
impl Pub {
pub fn method(&self, arg: Priv) {}
}
pub macro mac() {
let value = Pub::method;
//~^ ERROR type `priv_signature::Priv` is private
value;
//~^ ERROR type `priv_signature::Priv` is private
Pub.method(loop {});
//~^ ERROR type `priv_signature::Priv` is private
}
}
fn priv_signature() {
priv_signature::mac!();
}
mod priv_substs {
struct Priv;
pub struct Pub;
impl Pub {
pub fn method<T>(&self) {}
}
pub macro mac() {
let value = Pub::method::<Priv>;
//~^ ERROR type `priv_substs::Priv` is private
value;
//~^ ERROR type `priv_substs::Priv` is private
Pub.method::<Priv>();
//~^ ERROR type `priv_substs::Priv` is private
}
}
fn priv_substs() {
priv_substs::mac!();
}
mod priv_parent_substs {
struct Priv;
pub struct Pub<T = Priv>(T);
impl Pub<Priv> {
pub fn method(&self) {}
pub fn static_method() {}
pub const CONST: u8 = 0;
// pub type AssocTy = u8;
}
pub macro mac() {
let value = <Pub>::method;
//~^ ERROR type `priv_parent_substs::Priv` is private
value;
//~^ ERROR type `priv_parent_substs::Priv` is private
let value = Pub::method;
//~^ ERROR type `priv_parent_substs::Priv` is private
value;
//~^ ERROR type `priv_parent_substs::Priv` is private
let value = <Pub>::static_method;
//~^ ERROR type `priv_parent_substs::Priv` is private
value;
//~^ ERROR type `priv_parent_substs::Priv` is private
let value = Pub::static_method;
//~^ ERROR type `priv_parent_substs::Priv` is private
value;
//~^ ERROR type `priv_parent_substs::Priv` is private
Pub(Priv).method();
//~^ ERROR type `priv_parent_substs::Priv` is private
<Pub>::CONST;
//~^ ERROR type `priv_parent_substs::Priv` is private
Pub::CONST;
//~^ ERROR type `priv_parent_substs::Priv` is private
// let _: Pub::AssocTy;
// pub type InSignatureTy = Pub::AssocTy;
}
}
fn priv_parent_substs() {
priv_parent_substs::mac!();
}
fn main() {}
|
