Skip to content

Commit e26614e

Browse files
BryanskiyBryanskiy
committed
Replace old private-in-public diagnostic with type privacy lints
1 parent 5cbfee5 commit e26614e

File tree

68 files changed

+850
-1688
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

68 files changed

+850
-1688
lines changed

‎compiler/rustc_error_codes/src/error_codes.rs

+1
Original file line numberDiff line numberDiff line change
@@ -607,6 +607,7 @@ E0794: include_str!("./error_codes/E0794.md"),
607607
// E0420, // merged into 532
608608
// E0421, // merged into 531
609609
// E0427, // merged into 530
610+
// E0445, // merged into 446 and type privacy lints
610611
// E0456, // plugin `..` is not available for triple `..`
611612
// E0465, // removed: merged with E0464
612613
// E0467, // removed

‎compiler/rustc_error_codes/src/error_codes/E0445.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
A private trait was used on a public type parameter bound.
1+
#### Note: this error code is no longer emitted by the compiler.
22

3-
Erroneous code examples:
3+
A private trait was used on a public type parameter bound.
44

5-
```compile_fail,E0445
6-
#![deny(private_in_public)]
5+
Previously erroneous code examples:
76

7+
```
88
trait Foo {
99
fn dummy(&self) { }
1010
}

‎compiler/rustc_error_codes/src/error_codes/E0446.md

+25-21
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
1-
A private type was used in a public type signature.
1+
A private type or trait was used in a public associated type signature.
22

33
Erroneous code example:
44

55
```compile_fail,E0446
6-
#![deny(private_in_public)]
7-
struct Bar(u32);
8-
9-
mod foo {
10-
use crate::Bar;
11-
pub fn bar() -> Bar { // error: private type in public interface
12-
Bar(0)
13-
}
6+
struct Bar;
7+
8+
pub trait PubTr {
9+
type Alias;
10+
}
11+
12+
impl PubTr for u8 {
13+
type Alias = Bar; // error private type in public interface
1414
}
1515
1616
fn main() {}
@@ -22,13 +22,14 @@ This is done by using pub(crate) or pub(in crate::my_mod::etc)
2222
Example:
2323

2424
```
25-
struct Bar(u32);
25+
struct Bar;
26+
27+
pub(crate) trait PubTr { // only public to crate root
28+
type Alias;
29+
}
2630
27-
mod foo {
28-
use crate::Bar;
29-
pub(crate) fn bar() -> Bar { // only public to crate root
30-
Bar(0)
31-
}
31+
impl PubTr for u8 {
32+
type Alias = Bar;
3233
}
3334
3435
fn main() {}
@@ -38,12 +39,15 @@ The other way to solve this error is to make the private type public.
3839
Example:
3940

4041
```
41-
pub struct Bar(u32); // we set the Bar type public
42-
mod foo {
43-
use crate::Bar;
44-
pub fn bar() -> Bar { // ok!
45-
Bar(0)
46-
}
42+
43+
pub struct Bar; // we set the Bar trait public
44+
45+
pub trait PubTr {
46+
type Alias;
47+
}
48+
49+
impl PubTr for u8 {
50+
type Alias = Bar;
4751
}
4852
4953
fn main() {}

‎compiler/rustc_lint/src/lib.rs

+5
Original file line numberDiff line numberDiff line change
@@ -516,6 +516,11 @@ fn register_builtins(store: &mut LintStore) {
516516
"converted into hard error, see issue #82523 \
517517
<https://github.com/rust-lang/rust/issues/82523> for more information",
518518
);
519+
store.register_removed(
520+
"private_in_public",
521+
"replaced with another group of lints, see RFC \
522+
<https://rust-lang.github.io/rfcs/2145-type-privacy.html> for more information",
523+
);
519524
}
520525

521526
fn register_internals(store: &mut LintStore) {

‎compiler/rustc_lint_defs/src/builtin.rs

+2-47
Original file line numberDiff line numberDiff line change
@@ -982,44 +982,6 @@ declare_lint! {
982982
"detects trivial casts of numeric types which could be removed"
983983
}
984984

985-
declare_lint! {
986-
/// The `private_in_public` lint detects private items in public
987-
/// interfaces not caught by the old implementation.
988-
///
989-
/// ### Example
990-
///
991-
/// ```rust
992-
/// # #![allow(unused)]
993-
/// struct SemiPriv;
994-
///
995-
/// mod m1 {
996-
/// struct Priv;
997-
/// impl super::SemiPriv {
998-
/// pub fn f(_: Priv) {}
999-
/// }
1000-
/// }
1001-
/// # fn main() {}
1002-
/// ```
1003-
///
1004-
/// {{produces}}
1005-
///
1006-
/// ### Explanation
1007-
///
1008-
/// The visibility rules are intended to prevent exposing private items in
1009-
/// public interfaces. This is a [future-incompatible] lint to transition
1010-
/// this to a hard error in the future. See [issue #34537] for more
1011-
/// details.
1012-
///
1013-
/// [issue #34537]: https://github.com/rust-lang/rust/issues/34537
1014-
/// [future-incompatible]: ../index.md#future-incompatible-lints
1015-
pub PRIVATE_IN_PUBLIC,
1016-
Warn,
1017-
"detect private items in public interfaces not caught by the old implementation",
1018-
@future_incompatible = FutureIncompatibleInfo {
1019-
reference: "issue #34537 <https://github.com/rust-lang/rust/issues/34537>",
1020-
};
1021-
}
1022-
1023985
declare_lint! {
1024986
/// The `invalid_alignment` lint detects dereferences of misaligned pointers during
1025987
/// constant evaluation.
@@ -3374,7 +3336,6 @@ declare_lint_pass! {
33743336
PATTERNS_IN_FNS_WITHOUT_BODY,
33753337
POINTER_STRUCTURAL_MATCH,
33763338
PRIVATE_BOUNDS,
3377-
PRIVATE_IN_PUBLIC,
33783339
PRIVATE_INTERFACES,
33793340
PROC_MACRO_BACK_COMPAT,
33803341
PROC_MACRO_DERIVE_RESOLUTION_FALLBACK,
@@ -4293,9 +4254,7 @@ declare_lint! {
42934254
/// ### Example
42944255
///
42954256
/// ```rust,compile_fail
4296-
/// # #![feature(type_privacy_lints)]
42974257
/// # #![allow(unused)]
4298-
/// # #![allow(private_in_public)]
42994258
/// #![deny(private_interfaces)]
43004259
/// struct SemiPriv;
43014260
///
@@ -4316,9 +4275,8 @@ declare_lint! {
43164275
/// Having something private in primary interface guarantees that
43174276
/// the item will be unusable from outer modules due to type privacy.
43184277
pub PRIVATE_INTERFACES,
4319-
Allow,
4278+
Warn,
43204279
"private type in primary interface of an item",
4321-
@feature_gate = sym::type_privacy_lints;
43224280
}
43234281

43244282
declare_lint! {
@@ -4329,8 +4287,6 @@ declare_lint! {
43294287
/// ### Example
43304288
///
43314289
/// ```rust,compile_fail
4332-
/// # #![feature(type_privacy_lints)]
4333-
/// # #![allow(private_in_public)]
43344290
/// # #![allow(unused)]
43354291
/// #![deny(private_bounds)]
43364292
///
@@ -4348,9 +4304,8 @@ declare_lint! {
43484304
/// Having private types or traits in item bounds makes it less clear what interface
43494305
/// the item actually provides.
43504306
pub PRIVATE_BOUNDS,
4351-
Allow,
4307+
Warn,
43524308
"private type in secondary interface of an item",
4353-
@feature_gate = sym::type_privacy_lints;
43544309
}
43554310

43564311
declare_lint! {

‎compiler/rustc_middle/src/hir/map/mod.rs

-1
Original file line numberDiff line numberDiff line change
@@ -1222,7 +1222,6 @@ pub(super) fn crate_hash(tcx: TyCtxt<'_>, _: LocalCrate) -> Svh {
12221222
tcx.sess.local_stable_crate_id().hash_stable(&mut hcx, &mut stable_hasher);
12231223
// Hash visibility information since it does not appear in HIR.
12241224
resolutions.visibilities.hash_stable(&mut hcx, &mut stable_hasher);
1225-
resolutions.has_pub_restricted.hash_stable(&mut hcx, &mut stable_hasher);
12261225
stable_hasher.finish()
12271226
});
12281227

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

-2
Original file line numberDiff line numberDiff line change
@@ -162,8 +162,6 @@ pub struct ResolverOutputs {
162162
#[derive(Debug)]
163163
pub struct ResolverGlobalCtxt {
164164
pub visibilities: FxHashMap<LocalDefId, Visibility>,
165-
/// This field is used to decide whether we should make `PRIVATE_IN_PUBLIC` a hard error.
166-
pub has_pub_restricted: bool,
167165
/// Item with a given `LocalDefId` was defined during macro expansion with ID `ExpnId`.
168166
pub expn_that_defined: FxHashMap<LocalDefId, ExpnId>,
169167
pub effective_visibilities: EffectiveVisibilities,

‎compiler/rustc_privacy/messages.ftl

-5
Original file line numberDiff line numberDiff line change
@@ -11,11 +11,6 @@ privacy_in_public_interface = {$vis_descr} {$kind} `{$descr}` in public interfac
1111
1212
privacy_item_is_private = {$kind} `{$descr}` is private
1313
.label = private {$kind}
14-
privacy_private_in_public_lint =
15-
{$vis_descr} {$kind} `{$descr}` in public interface (error {$kind ->
16-
[trait] E0445
17-
*[other] E0446
18-
})
1914
2015
privacy_private_interface_or_bounds_lint = {$ty_kind} `{$ty_descr}` is more private than the item `{$item_descr}`
2116
.item_label = {$item_kind} `{$item_descr}` is reachable at visibility `{$item_vis_descr}`

‎compiler/rustc_privacy/src/errors.rs

-23
Original file line numberDiff line numberDiff line change
@@ -47,21 +47,6 @@ pub struct UnnamedItemIsPrivate {
4747
pub kind: &'static str,
4848
}
4949

50-
// Duplicate of `InPublicInterface` but with a different error code, shares the same slug.
51-
#[derive(Diagnostic)]
52-
#[diag(privacy_in_public_interface, code = "E0445")]
53-
pub struct InPublicInterfaceTraits<'a> {
54-
#[primary_span]
55-
#[label]
56-
pub span: Span,
57-
pub vis_descr: &'static str,
58-
pub kind: &'a str,
59-
pub descr: DiagnosticArgFromDisplay<'a>,
60-
#[label(privacy_visibility_label)]
61-
pub vis_span: Span,
62-
}
63-
64-
// Duplicate of `InPublicInterfaceTraits` but with a different error code, shares the same slug.
6550
#[derive(Diagnostic)]
6651
#[diag(privacy_in_public_interface, code = "E0446")]
6752
pub struct InPublicInterface<'a> {
@@ -91,14 +76,6 @@ pub struct FromPrivateDependencyInPublicInterface<'a> {
9176
pub krate: Symbol,
9277
}
9378

94-
#[derive(LintDiagnostic)]
95-
#[diag(privacy_private_in_public_lint)]
96-
pub struct PrivateInPublicLint<'a> {
97-
pub vis_descr: &'static str,
98-
pub kind: &'a str,
99-
pub descr: DiagnosticArgFromDisplay<'a>,
100-
}
101-
10279
#[derive(LintDiagnostic)]
10380
#[diag(privacy_unnameable_types_lint)]
10481
pub struct UnnameableTypesLint<'a> {

0 commit comments

Comments
 (0)