rustc_privacy/
errors.rs

1use rustc_errors::codes::*;
2use rustc_errors::{DiagArgFromDisplay, MultiSpan};
3use rustc_macros::{Diagnostic, LintDiagnostic, Subdiagnostic};
4use rustc_span::{Span, Symbol};
5
6#[derive(const _: () =
    {
        impl<'_sess, G> rustc_errors::Diagnostic<'_sess, G> for FieldIsPrivate
            where G: rustc_errors::EmissionGuarantee {
            #[track_caller]
            fn into_diag(self, dcx: rustc_errors::DiagCtxtHandle<'_sess>,
                level: rustc_errors::Level) -> rustc_errors::Diag<'_sess, G> {
                match self {
                    FieldIsPrivate {
                        span: __binding_0,
                        struct_span: __binding_1,
                        field_names: __binding_2,
                        variant_descr: __binding_3,
                        def_path_str: __binding_4,
                        labels: __binding_5,
                        len: __binding_6 } => {
                        let mut diag =
                            rustc_errors::Diag::new(dcx, level,
                                crate::fluent_generated::privacy_field_is_private);
                        diag.code(E0451);
                        ;
                        diag.arg("field_names", __binding_2);
                        diag.arg("variant_descr", __binding_3);
                        diag.arg("def_path_str", __binding_4);
                        diag.arg("len", __binding_6);
                        diag.span(__binding_0);
                        if let Some(__binding_1) = __binding_1 {
                            diag.span_label(__binding_1,
                                crate::fluent_generated::_subdiag::label);
                        }
                        for __binding_5 in __binding_5 {
                            diag.subdiagnostic(__binding_5);
                        }
                        diag
                    }
                }
            }
        }
    };Diagnostic)]
7#[diag(privacy_field_is_private, code = E0451)]
8pub(crate) struct FieldIsPrivate {
9    #[primary_span]
10    pub span: MultiSpan,
11    #[label]
12    pub struct_span: Option<Span>,
13    pub field_names: String,
14    pub variant_descr: &'static str,
15    pub def_path_str: String,
16    #[subdiagnostic]
17    pub labels: Vec<FieldIsPrivateLabel>,
18    pub len: usize,
19}
20
21#[derive(const _: () =
    {
        impl rustc_errors::Subdiagnostic for FieldIsPrivateLabel {
            fn add_to_diag<__G>(self, diag: &mut rustc_errors::Diag<'_, __G>)
                where __G: rustc_errors::EmissionGuarantee {
                match self {
                    FieldIsPrivateLabel::IsUpdateSyntax {
                        span: __binding_0,
                        rest_field_names: __binding_1,
                        rest_len: __binding_2 } => {
                        diag.store_args();
                        diag.arg("rest_field_names", __binding_1);
                        diag.arg("rest_len", __binding_2);
                        let __message =
                            diag.eagerly_translate(crate::fluent_generated::privacy_field_is_private_is_update_syntax_label);
                        diag.span_label(__binding_0, __message);
                        diag.restore_args();
                    }
                    FieldIsPrivateLabel::Other { span: __binding_0 } => {
                        diag.store_args();
                        let __message =
                            diag.eagerly_translate(crate::fluent_generated::privacy_field_is_private_label);
                        diag.span_label(__binding_0, __message);
                        diag.restore_args();
                    }
                }
            }
        }
    };Subdiagnostic)]
22pub(crate) enum FieldIsPrivateLabel {
23    #[label(privacy_field_is_private_is_update_syntax_label)]
24    IsUpdateSyntax {
25        #[primary_span]
26        span: Span,
27        rest_field_names: String,
28        rest_len: usize,
29    },
30    #[label(privacy_field_is_private_label)]
31    Other {
32        #[primary_span]
33        span: Span,
34    },
35}
36
37#[derive(const _: () =
    {
        impl<'_sess, 'a, G> rustc_errors::Diagnostic<'_sess, G> for
            ItemIsPrivate<'a> where G: rustc_errors::EmissionGuarantee {
            #[track_caller]
            fn into_diag(self, dcx: rustc_errors::DiagCtxtHandle<'_sess>,
                level: rustc_errors::Level) -> rustc_errors::Diag<'_sess, G> {
                match self {
                    ItemIsPrivate {
                        span: __binding_0, kind: __binding_1, descr: __binding_2 }
                        => {
                        let mut diag =
                            rustc_errors::Diag::new(dcx, level,
                                crate::fluent_generated::privacy_item_is_private);
                        ;
                        diag.arg("kind", __binding_1);
                        diag.arg("descr", __binding_2);
                        diag.span(__binding_0);
                        diag.span_label(__binding_0,
                            crate::fluent_generated::_subdiag::label);
                        diag
                    }
                }
            }
        }
    };Diagnostic)]
38#[diag(privacy_item_is_private)]
39pub(crate) struct ItemIsPrivate<'a> {
40    #[primary_span]
41    #[label]
42    pub span: Span,
43    pub kind: &'a str,
44    pub descr: DiagArgFromDisplay<'a>,
45}
46
47#[derive(const _: () =
    {
        impl<'_sess, G> rustc_errors::Diagnostic<'_sess, G> for
            UnnamedItemIsPrivate where G: rustc_errors::EmissionGuarantee {
            #[track_caller]
            fn into_diag(self, dcx: rustc_errors::DiagCtxtHandle<'_sess>,
                level: rustc_errors::Level) -> rustc_errors::Diag<'_sess, G> {
                match self {
                    UnnamedItemIsPrivate { span: __binding_0, kind: __binding_1
                        } => {
                        let mut diag =
                            rustc_errors::Diag::new(dcx, level,
                                crate::fluent_generated::privacy_unnamed_item_is_private);
                        ;
                        diag.arg("kind", __binding_1);
                        diag.span(__binding_0);
                        diag
                    }
                }
            }
        }
    };Diagnostic)]
48#[diag(privacy_unnamed_item_is_private)]
49pub(crate) struct UnnamedItemIsPrivate {
50    #[primary_span]
51    pub span: Span,
52    pub kind: &'static str,
53}
54
55#[derive(const _: () =
    {
        impl<'_sess, 'a, G> rustc_errors::Diagnostic<'_sess, G> for
            InPublicInterface<'a> where G: rustc_errors::EmissionGuarantee {
            #[track_caller]
            fn into_diag(self, dcx: rustc_errors::DiagCtxtHandle<'_sess>,
                level: rustc_errors::Level) -> rustc_errors::Diag<'_sess, G> {
                match self {
                    InPublicInterface {
                        span: __binding_0,
                        vis_descr: __binding_1,
                        kind: __binding_2,
                        descr: __binding_3,
                        vis_span: __binding_4 } => {
                        let mut diag =
                            rustc_errors::Diag::new(dcx, level,
                                crate::fluent_generated::privacy_in_public_interface);
                        diag.code(E0446);
                        ;
                        diag.arg("vis_descr", __binding_1);
                        diag.arg("kind", __binding_2);
                        diag.arg("descr", __binding_3);
                        diag.span(__binding_0);
                        diag.span_label(__binding_0,
                            crate::fluent_generated::_subdiag::label);
                        diag.span_label(__binding_4,
                            crate::fluent_generated::privacy_visibility_label);
                        diag
                    }
                }
            }
        }
    };Diagnostic)]
56#[diag(privacy_in_public_interface, code = E0446)]
57pub(crate) struct InPublicInterface<'a> {
58    #[primary_span]
59    #[label]
60    pub span: Span,
61    pub vis_descr: &'static str,
62    pub kind: &'a str,
63    pub descr: DiagArgFromDisplay<'a>,
64    #[label(privacy_visibility_label)]
65    pub vis_span: Span,
66}
67
68#[derive(const _: () =
    {
        impl<'_sess, G> rustc_errors::Diagnostic<'_sess, G> for
            ReportEffectiveVisibility where G: rustc_errors::EmissionGuarantee
            {
            #[track_caller]
            fn into_diag(self, dcx: rustc_errors::DiagCtxtHandle<'_sess>,
                level: rustc_errors::Level) -> rustc_errors::Diag<'_sess, G> {
                match self {
                    ReportEffectiveVisibility {
                        span: __binding_0, descr: __binding_1 } => {
                        let mut diag =
                            rustc_errors::Diag::new(dcx, level,
                                crate::fluent_generated::privacy_report_effective_visibility);
                        ;
                        diag.arg("descr", __binding_1);
                        diag.span(__binding_0);
                        diag
                    }
                }
            }
        }
    };Diagnostic)]
69#[diag(privacy_report_effective_visibility)]
70pub(crate) struct ReportEffectiveVisibility {
71    #[primary_span]
72    pub span: Span,
73    pub descr: String,
74}
75
76#[derive(const _: () =
    {
        impl<'__a, 'a> rustc_errors::LintDiagnostic<'__a, ()> for
            FromPrivateDependencyInPublicInterface<'a> {
            #[track_caller]
            fn decorate_lint<'__b>(self,
                diag: &'__b mut rustc_errors::Diag<'__a, ()>) {
                match self {
                    FromPrivateDependencyInPublicInterface {
                        kind: __binding_0, descr: __binding_1, krate: __binding_2 }
                        => {
                        diag.primary_message(crate::fluent_generated::privacy_from_private_dep_in_public_interface);
                        ;
                        diag.arg("kind", __binding_0);
                        diag.arg("descr", __binding_1);
                        diag.arg("krate", __binding_2);
                        diag
                    }
                };
            }
        }
    };LintDiagnostic)]
77#[diag(privacy_from_private_dep_in_public_interface)]
78pub(crate) struct FromPrivateDependencyInPublicInterface<'a> {
79    pub kind: &'a str,
80    pub descr: DiagArgFromDisplay<'a>,
81    pub krate: Symbol,
82}
83
84#[derive(const _: () =
    {
        impl<'__a, 'a> rustc_errors::LintDiagnostic<'__a, ()> for
            UnnameableTypesLint<'a> {
            #[track_caller]
            fn decorate_lint<'__b>(self,
                diag: &'__b mut rustc_errors::Diag<'__a, ()>) {
                match self {
                    UnnameableTypesLint {
                        span: __binding_0,
                        kind: __binding_1,
                        descr: __binding_2,
                        reachable_vis: __binding_3,
                        reexported_vis: __binding_4 } => {
                        diag.primary_message(crate::fluent_generated::privacy_unnameable_types_lint);
                        ;
                        diag.arg("kind", __binding_1);
                        diag.arg("descr", __binding_2);
                        diag.arg("reachable_vis", __binding_3);
                        diag.arg("reexported_vis", __binding_4);
                        diag.span_label(__binding_0,
                            crate::fluent_generated::_subdiag::label);
                        diag
                    }
                };
            }
        }
    };LintDiagnostic)]
85#[diag(privacy_unnameable_types_lint)]
86pub(crate) struct UnnameableTypesLint<'a> {
87    #[label]
88    pub span: Span,
89    pub kind: &'a str,
90    pub descr: DiagArgFromDisplay<'a>,
91    pub reachable_vis: &'a str,
92    pub reexported_vis: &'a str,
93}
94
95// Used for `private_interfaces` and `private_bounds` lints.
96// They will replace private-in-public errors and compatibility lints in future.
97// See https://rust-lang.github.io/rfcs/2145-type-privacy.html for more details.
98#[derive(const _: () =
    {
        impl<'__a, 'a> rustc_errors::LintDiagnostic<'__a, ()> for
            PrivateInterfacesOrBoundsLint<'a> {
            #[track_caller]
            fn decorate_lint<'__b>(self,
                diag: &'__b mut rustc_errors::Diag<'__a, ()>) {
                match self {
                    PrivateInterfacesOrBoundsLint {
                        item_span: __binding_0,
                        item_kind: __binding_1,
                        item_descr: __binding_2,
                        item_vis_descr: __binding_3,
                        ty_span: __binding_4,
                        ty_kind: __binding_5,
                        ty_descr: __binding_6,
                        ty_vis_descr: __binding_7 } => {
                        diag.primary_message(crate::fluent_generated::privacy_private_interface_or_bounds_lint);
                        ;
                        diag.arg("item_kind", __binding_1);
                        diag.arg("item_descr", __binding_2);
                        diag.arg("item_vis_descr", __binding_3);
                        diag.arg("ty_kind", __binding_5);
                        diag.arg("ty_descr", __binding_6);
                        diag.arg("ty_vis_descr", __binding_7);
                        diag.span_label(__binding_0,
                            crate::fluent_generated::privacy_item_label);
                        diag.span_note(__binding_4,
                            crate::fluent_generated::privacy_ty_note);
                        diag
                    }
                };
            }
        }
    };LintDiagnostic)]
99#[diag(privacy_private_interface_or_bounds_lint)]
100pub(crate) struct PrivateInterfacesOrBoundsLint<'a> {
101    #[label(privacy_item_label)]
102    pub item_span: Span,
103    pub item_kind: &'a str,
104    pub item_descr: DiagArgFromDisplay<'a>,
105    pub item_vis_descr: &'a str,
106    #[note(privacy_ty_note)]
107    pub ty_span: Span,
108    pub ty_kind: &'a str,
109    pub ty_descr: DiagArgFromDisplay<'a>,
110    pub ty_vis_descr: &'a str,
111}