compiler/rustc_monomorphize/src/errors.rs

   1 use std::path::PathBuf;
   2
   3 use rustc_errors::ErrorGuaranteed;
   4 use rustc_errors::IntoDiagnostic;
   5 use rustc_macros::{Diagnostic, LintDiagnostic};
   6 use rustc_span::Span;
   7
   8 #[derive(Diagnostic)]
   9 #[diag(monomorphize_recursion_limit)]
  10 pub struct RecursionLimit {
  11     #[primary_span]
  12     pub span: Span,
  13     pub shrunk: String,
  14     #[note]
  15     pub def_span: Span,
  16     pub def_path_str: String,
  17     #[note(monomorphize_written_to_path)]
  18     pub was_written: Option<()>,
  19     pub path: PathBuf,
  20 }
  21
  22 #[derive(Diagnostic)]
  23 #[diag(monomorphize_type_length_limit)]
  24 #[help(monomorphize_consider_type_length_limit)]
  25 pub struct TypeLengthLimit {
  26     #[primary_span]
  27     pub span: Span,
  28     pub shrunk: String,
  29     #[note(monomorphize_written_to_path)]
  30     pub was_written: Option<()>,
  31     pub path: PathBuf,
  32     pub type_length: usize,
  33 }
  34
  35 #[derive(Diagnostic)]
  36 #[diag(monomorphize_requires_lang_item)]
  37 pub struct RequiresLangItem {
  38     pub lang_item: String,
  39 }
  40
  41 pub struct UnusedGenericParams {
  42     pub span: Span,
  43     pub param_spans: Vec<Span>,
  44     pub param_names: Vec<String>,
  45 }
  46
  47 impl IntoDiagnostic<'_> for UnusedGenericParams {
  48     fn into_diagnostic(
  49         self,
  50         handler: &'_ rustc_errors::Handler,
  51     ) -> rustc_errors::DiagnosticBuilder<'_, ErrorGuaranteed> {
  52         let mut diag = handler.struct_err(rustc_errors::fluent::monomorphize_unused_generic_params);
  53         diag.set_span(self.span);
  54         for (span, name) in self.param_spans.into_iter().zip(self.param_names) {
  55             // FIXME: I can figure out how to do a label with a fluent string with a fixed message,
  56             // or a label with a dynamic value in a hard-coded string, but I haven't figured out
  57             // how to combine the two. 😢
  58             diag.span_label(span, format!("generic parameter `{}` is unused", name));
  59         }
  60         diag
  61     }
  62 }
  63
  64 #[derive(LintDiagnostic)]
  65 #[diag(monomorphize_large_assignments)]
  66 #[note]
  67 pub struct LargeAssignmentsLint {
  68     #[label]
  69     pub span: Span,
  70     pub size: u64,
  71     pub limit: u64,
  72 }
  73
  74 #[derive(Diagnostic)]
  75 #[diag(monomorphize_unknown_partition_strategy)]
  76 pub struct UnknownPartitionStrategy;
  77
  78 #[derive(Diagnostic)]
  79 #[diag(monomorphize_symbol_already_defined)]
  80 pub struct SymbolAlreadyDefined {
  81     #[primary_span]
  82     pub span: Option<Span>,
  83     pub symbol: String,
  84 }