Skip to content

Commit c23f07d

Browse files
borsbors
committed
Auto merge of #144479 - cjgillot:incr-privacy-mod, r=petrochenkov
Perform check_private_in_public by module. Based on #116316
2 parents 63f6845 + 1b01dec commit c23f07d

File tree

5 files changed

+68
-65
lines changed

5 files changed

+68
-65
lines changed

‎compiler/rustc_interface/src/passes.rs‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1151,7 +1151,9 @@ fn analysis(tcx: TyCtxt<'_>, (): ()) {
11511151

11521152
parallel!(
11531153
{
1154-
tcx.ensure_ok().check_private_in_public(());
1154+
tcx.par_hir_for_each_module(|module| {
1155+
tcx.ensure_ok().check_private_in_public(module)
1156+
})
11551157
},
11561158
{
11571159
tcx.par_hir_for_each_module(|module| {

‎compiler/rustc_middle/src/query/mod.rs‎

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1390,8 +1390,11 @@ rustc_queries! {
13901390
eval_always
13911391
desc { "checking effective visibilities" }
13921392
}
1393-
query check_private_in_public(_: ()) {
1394-
desc { "checking for private elements in public interfaces" }
1393+
query check_private_in_public(module_def_id: LocalModDefId) {
1394+
desc { |tcx|
1395+
"checking for private elements in public interfaces for {}",
1396+
describe_as_module(module_def_id, tcx)
1397+
}
13951398
}
13961399

13971400
query reachable_set(_: ()) -> &'tcx LocalDefIdSet {

‎compiler/rustc_privacy/src/lib.rs‎

Lines changed: 11 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1423,8 +1423,6 @@ impl SearchInterfaceForPrivateItemsVisitor<'_> {
14231423
};
14241424

14251425
let vis = self.tcx.local_visibility(local_def_id);
1426-
let span = self.tcx.def_span(self.item_def_id.to_def_id());
1427-
let vis_span = self.tcx.def_span(def_id);
14281426
if self.in_assoc_ty && !vis.is_at_least(self.required_visibility, self.tcx) {
14291427
let vis_descr = match vis {
14301428
ty::Visibility::Public => "public",
@@ -1441,6 +1439,8 @@ impl SearchInterfaceForPrivateItemsVisitor<'_> {
14411439
}
14421440
};
14431441

1442+
let span = self.tcx.def_span(self.item_def_id.to_def_id());
1443+
let vis_span = self.tcx.def_span(def_id);
14441444
self.tcx.dcx().emit_err(InPublicInterface {
14451445
span,
14461446
vis_descr,
@@ -1463,6 +1463,8 @@ impl SearchInterfaceForPrivateItemsVisitor<'_> {
14631463
} else {
14641464
lint::builtin::PRIVATE_BOUNDS
14651465
};
1466+
let span = self.tcx.def_span(self.item_def_id.to_def_id());
1467+
let vis_span = self.tcx.def_span(def_id);
14661468
self.tcx.emit_node_span_lint(
14671469
lint,
14681470
self.tcx.local_def_id_to_hir_id(self.item_def_id),
@@ -1594,7 +1596,7 @@ impl<'tcx> PrivateItemsInPublicInterfacesChecker<'_, 'tcx> {
15941596
self.effective_visibilities.effective_vis(def_id).copied()
15951597
}
15961598

1597-
fn check_item(&mut self, id: ItemId) {
1599+
fn check_item(&self, id: ItemId) {
15981600
let tcx = self.tcx;
15991601
let def_id = id.owner_id.def_id;
16001602
let item_visibility = tcx.local_visibility(def_id);
@@ -1722,7 +1724,7 @@ impl<'tcx> PrivateItemsInPublicInterfacesChecker<'_, 'tcx> {
17221724
}
17231725
}
17241726

1725-
fn check_foreign_item(&mut self, id: ForeignItemId) {
1727+
fn check_foreign_item(&self, id: ForeignItemId) {
17261728
let tcx = self.tcx;
17271729
let def_id = id.owner_id.def_id;
17281730
let item_visibility = tcx.local_visibility(def_id);
@@ -1854,16 +1856,12 @@ fn effective_visibilities(tcx: TyCtxt<'_>, (): ()) -> &EffectiveVisibilities {
18541856
tcx.arena.alloc(visitor.effective_visibilities)
18551857
}
18561858

1857-
fn check_private_in_public(tcx: TyCtxt<'_>, (): ()) {
1859+
fn check_private_in_public(tcx: TyCtxt<'_>, module_def_id: LocalModDefId) {
18581860
let effective_visibilities = tcx.effective_visibilities(());
18591861
// Check for private types in public interfaces.
1860-
let mut checker = PrivateItemsInPublicInterfacesChecker { tcx, effective_visibilities };
1862+
let checker = PrivateItemsInPublicInterfacesChecker { tcx, effective_visibilities };
18611863

1862-
let crate_items = tcx.hir_crate_items(());
1863-
for id in crate_items.free_items() {
1864-
checker.check_item(id);
1865-
}
1866-
for id in crate_items.foreign_items() {
1867-
checker.check_foreign_item(id);
1868-
}
1864+
let crate_items = tcx.hir_module_items(module_def_id);
1865+
let _ = crate_items.par_items(|id| Ok(checker.check_item(id)));
1866+
let _ = crate_items.par_foreign_items(|id| Ok(checker.check_foreign_item(id)));
18691867
}

‎tests/ui/privacy/private-in-public-warn.stderr‎

Lines changed: 36 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,42 @@ LL | struct Priv;
9393
LL | type Alias = Priv;
9494
| ^^^^^^^^^^ can't leak private type
9595

96+
error: type `types::Priv` is more private than the item `types::ES`
97+
--> $DIR/private-in-public-warn.rs:27:9
98+
|
99+
LL | pub static ES: Priv;
100+
| ^^^^^^^^^^^^^^^^^^^ static `types::ES` is reachable at visibility `pub(crate)`
101+
|
102+
note: but type `types::Priv` is only usable at visibility `pub(self)`
103+
--> $DIR/private-in-public-warn.rs:9:5
104+
|
105+
LL | struct Priv;
106+
| ^^^^^^^^^^^
107+
108+
error: type `types::Priv` is more private than the item `types::ef1`
109+
--> $DIR/private-in-public-warn.rs:28:9
110+
|
111+
LL | pub fn ef1(arg: Priv);
112+
| ^^^^^^^^^^^^^^^^^^^^^^ function `types::ef1` is reachable at visibility `pub(crate)`
113+
|
114+
note: but type `types::Priv` is only usable at visibility `pub(self)`
115+
--> $DIR/private-in-public-warn.rs:9:5
116+
|
117+
LL | struct Priv;
118+
| ^^^^^^^^^^^
119+
120+
error: type `types::Priv` is more private than the item `types::ef2`
121+
--> $DIR/private-in-public-warn.rs:29:9
122+
|
123+
LL | pub fn ef2() -> Priv;
124+
| ^^^^^^^^^^^^^^^^^^^^^ function `types::ef2` is reachable at visibility `pub(crate)`
125+
|
126+
note: but type `types::Priv` is only usable at visibility `pub(self)`
127+
--> $DIR/private-in-public-warn.rs:9:5
128+
|
129+
LL | struct Priv;
130+
| ^^^^^^^^^^^
131+
96132
error: trait `traits::PrivTr` is more private than the item `traits::Alias`
97133
--> $DIR/private-in-public-warn.rs:42:5
98134
|
@@ -359,42 +395,6 @@ note: but type `Priv2` is only usable at visibility `pub(self)`
359395
LL | struct Priv2;
360396
| ^^^^^^^^^^^^
361397

362-
error: type `types::Priv` is more private than the item `types::ES`
363-
--> $DIR/private-in-public-warn.rs:27:9
364-
|
365-
LL | pub static ES: Priv;
366-
| ^^^^^^^^^^^^^^^^^^^ static `types::ES` is reachable at visibility `pub(crate)`
367-
|
368-
note: but type `types::Priv` is only usable at visibility `pub(self)`
369-
--> $DIR/private-in-public-warn.rs:9:5
370-
|
371-
LL | struct Priv;
372-
| ^^^^^^^^^^^
373-
374-
error: type `types::Priv` is more private than the item `types::ef1`
375-
--> $DIR/private-in-public-warn.rs:28:9
376-
|
377-
LL | pub fn ef1(arg: Priv);
378-
| ^^^^^^^^^^^^^^^^^^^^^^ function `types::ef1` is reachable at visibility `pub(crate)`
379-
|
380-
note: but type `types::Priv` is only usable at visibility `pub(self)`
381-
--> $DIR/private-in-public-warn.rs:9:5
382-
|
383-
LL | struct Priv;
384-
| ^^^^^^^^^^^
385-
386-
error: type `types::Priv` is more private than the item `types::ef2`
387-
--> $DIR/private-in-public-warn.rs:29:9
388-
|
389-
LL | pub fn ef2() -> Priv;
390-
| ^^^^^^^^^^^^^^^^^^^^^ function `types::ef2` is reachable at visibility `pub(crate)`
391-
|
392-
note: but type `types::Priv` is only usable at visibility `pub(self)`
393-
--> $DIR/private-in-public-warn.rs:9:5
394-
|
395-
LL | struct Priv;
396-
| ^^^^^^^^^^^
397-
398398
warning: bounds on generic parameters in type aliases are not enforced
399399
--> $DIR/private-in-public-warn.rs:42:23
400400
|

‎tests/ui/privacy/projections.stderr‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,3 @@
1-
warning: type `Priv` is more private than the item `Leak`
2-
--> $DIR/projections.rs:3:5
3-
|
4-
LL | pub type Leak = Priv;
5-
| ^^^^^^^^^^^^^ type alias `Leak` is reachable at visibility `pub(crate)`
6-
|
7-
note: but type `Priv` is only usable at visibility `pub(self)`
8-
--> $DIR/projections.rs:2:5
9-
|
10-
LL | struct Priv;
11-
| ^^^^^^^^^^^
12-
= note: `#[warn(private_interfaces)]` on by default
13-
141
error[E0446]: private type `Priv` in public interface
152
--> $DIR/projections.rs:24:5
163
|
@@ -29,6 +16,19 @@ LL | struct Priv;
2916
LL | type A<T: Trait> = T::A<m::Leak>;
3017
| ^^^^^^^^^^^^^^^^ can't leak private type
3118

19+
warning: type `Priv` is more private than the item `Leak`
20+
--> $DIR/projections.rs:3:5
21+
|
22+
LL | pub type Leak = Priv;
23+
| ^^^^^^^^^^^^^ type alias `Leak` is reachable at visibility `pub(crate)`
24+
|
25+
note: but type `Priv` is only usable at visibility `pub(self)`
26+
--> $DIR/projections.rs:2:5
27+
|
28+
LL | struct Priv;
29+
| ^^^^^^^^^^^
30+
= note: `#[warn(private_interfaces)]` on by default
31+
3232
error: type `Priv` is private
3333
--> $DIR/projections.rs:14:15
3434
|

0 commit comments

Comments
 (0)