]> git.lizzy.rs Git - rust.git/blob - compiler/rustc_metadata/src/errors.rs
Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obk
[rust.git] / compiler / rustc_metadata / src / errors.rs
1 use std::{
2     io::Error,
3     path::{Path, PathBuf},
4 };
5
6 use rustc_errors::{error_code, ErrorGuaranteed, IntoDiagnostic};
7 use rustc_macros::Diagnostic;
8 use rustc_session::config;
9 use rustc_span::{sym, Span, Symbol};
10 use rustc_target::spec::{PanicStrategy, TargetTriple};
11
12 use crate::locator::CrateFlavor;
13
14 #[derive(Diagnostic)]
15 #[diag(metadata::rlib_required)]
16 pub struct RlibRequired {
17     pub crate_name: Symbol,
18 }
19
20 #[derive(Diagnostic)]
21 #[diag(metadata::lib_required)]
22 pub struct LibRequired<'a> {
23     pub crate_name: Symbol,
24     pub kind: &'a str,
25 }
26
27 #[derive(Diagnostic)]
28 #[diag(metadata::crate_dep_multiple)]
29 #[help]
30 pub struct CrateDepMultiple {
31     pub crate_name: Symbol,
32 }
33
34 #[derive(Diagnostic)]
35 #[diag(metadata::two_panic_runtimes)]
36 pub struct TwoPanicRuntimes {
37     pub prev_name: Symbol,
38     pub cur_name: Symbol,
39 }
40
41 #[derive(Diagnostic)]
42 #[diag(metadata::bad_panic_strategy)]
43 pub struct BadPanicStrategy {
44     pub runtime: Symbol,
45     pub strategy: PanicStrategy,
46 }
47
48 #[derive(Diagnostic)]
49 #[diag(metadata::required_panic_strategy)]
50 pub struct RequiredPanicStrategy {
51     pub crate_name: Symbol,
52     pub found_strategy: PanicStrategy,
53     pub desired_strategy: PanicStrategy,
54 }
55
56 #[derive(Diagnostic)]
57 #[diag(metadata::incompatible_panic_in_drop_strategy)]
58 pub struct IncompatiblePanicInDropStrategy {
59     pub crate_name: Symbol,
60     pub found_strategy: PanicStrategy,
61     pub desired_strategy: PanicStrategy,
62 }
63
64 #[derive(Diagnostic)]
65 #[diag(metadata::multiple_names_in_link)]
66 pub struct MultipleNamesInLink {
67     #[primary_span]
68     pub span: Span,
69 }
70
71 #[derive(Diagnostic)]
72 #[diag(metadata::multiple_kinds_in_link)]
73 pub struct MultipleKindsInLink {
74     #[primary_span]
75     pub span: Span,
76 }
77
78 #[derive(Diagnostic)]
79 #[diag(metadata::link_name_form)]
80 pub struct LinkNameForm {
81     #[primary_span]
82     pub span: Span,
83 }
84
85 #[derive(Diagnostic)]
86 #[diag(metadata::link_kind_form)]
87 pub struct LinkKindForm {
88     #[primary_span]
89     pub span: Span,
90 }
91
92 #[derive(Diagnostic)]
93 #[diag(metadata::link_modifiers_form)]
94 pub struct LinkModifiersForm {
95     #[primary_span]
96     pub span: Span,
97 }
98
99 #[derive(Diagnostic)]
100 #[diag(metadata::link_cfg_form)]
101 pub struct LinkCfgForm {
102     #[primary_span]
103     pub span: Span,
104 }
105
106 #[derive(Diagnostic)]
107 #[diag(metadata::wasm_import_form)]
108 pub struct WasmImportForm {
109     #[primary_span]
110     pub span: Span,
111 }
112
113 #[derive(Diagnostic)]
114 #[diag(metadata::empty_link_name, code = "E0454")]
115 pub struct EmptyLinkName {
116     #[primary_span]
117     #[label]
118     pub span: Span,
119 }
120
121 #[derive(Diagnostic)]
122 #[diag(metadata::link_framework_apple, code = "E0455")]
123 pub struct LinkFrameworkApple {
124     #[primary_span]
125     pub span: Span,
126 }
127
128 #[derive(Diagnostic)]
129 #[diag(metadata::framework_only_windows, code = "E0455")]
130 pub struct FrameworkOnlyWindows {
131     #[primary_span]
132     pub span: Span,
133 }
134
135 #[derive(Diagnostic)]
136 #[diag(metadata::unknown_link_kind, code = "E0458")]
137 pub struct UnknownLinkKind<'a> {
138     #[primary_span]
139     #[label]
140     pub span: Span,
141     pub kind: &'a str,
142 }
143
144 #[derive(Diagnostic)]
145 #[diag(metadata::multiple_link_modifiers)]
146 pub struct MultipleLinkModifiers {
147     #[primary_span]
148     pub span: Span,
149 }
150
151 #[derive(Diagnostic)]
152 #[diag(metadata::multiple_cfgs)]
153 pub struct MultipleCfgs {
154     #[primary_span]
155     pub span: Span,
156 }
157
158 #[derive(Diagnostic)]
159 #[diag(metadata::link_cfg_single_predicate)]
160 pub struct LinkCfgSinglePredicate {
161     #[primary_span]
162     pub span: Span,
163 }
164
165 #[derive(Diagnostic)]
166 #[diag(metadata::multiple_wasm_import)]
167 pub struct MultipleWasmImport {
168     #[primary_span]
169     pub span: Span,
170 }
171
172 #[derive(Diagnostic)]
173 #[diag(metadata::unexpected_link_arg)]
174 pub struct UnexpectedLinkArg {
175     #[primary_span]
176     pub span: Span,
177 }
178
179 #[derive(Diagnostic)]
180 #[diag(metadata::invalid_link_modifier)]
181 pub struct InvalidLinkModifier {
182     #[primary_span]
183     pub span: Span,
184 }
185
186 #[derive(Diagnostic)]
187 #[diag(metadata::multiple_modifiers)]
188 pub struct MultipleModifiers<'a> {
189     #[primary_span]
190     pub span: Span,
191     pub modifier: &'a str,
192 }
193
194 #[derive(Diagnostic)]
195 #[diag(metadata::bundle_needs_static)]
196 pub struct BundleNeedsStatic {
197     #[primary_span]
198     pub span: Span,
199 }
200
201 #[derive(Diagnostic)]
202 #[diag(metadata::whole_archive_needs_static)]
203 pub struct WholeArchiveNeedsStatic {
204     #[primary_span]
205     pub span: Span,
206 }
207
208 #[derive(Diagnostic)]
209 #[diag(metadata::as_needed_compatibility)]
210 pub struct AsNeededCompatibility {
211     #[primary_span]
212     pub span: Span,
213 }
214
215 #[derive(Diagnostic)]
216 #[diag(metadata::unknown_link_modifier)]
217 pub struct UnknownLinkModifier<'a> {
218     #[primary_span]
219     pub span: Span,
220     pub modifier: &'a str,
221 }
222
223 #[derive(Diagnostic)]
224 #[diag(metadata::incompatible_wasm_link)]
225 pub struct IncompatibleWasmLink {
226     #[primary_span]
227     pub span: Span,
228 }
229
230 #[derive(Diagnostic)]
231 #[diag(metadata::link_requires_name, code = "E0459")]
232 pub struct LinkRequiresName {
233     #[primary_span]
234     #[label]
235     pub span: Span,
236 }
237
238 #[derive(Diagnostic)]
239 #[diag(metadata::raw_dylib_no_nul)]
240 pub struct RawDylibNoNul {
241     #[primary_span]
242     pub span: Span,
243 }
244
245 #[derive(Diagnostic)]
246 #[diag(metadata::link_ordinal_raw_dylib)]
247 pub struct LinkOrdinalRawDylib {
248     #[primary_span]
249     pub span: Span,
250 }
251
252 #[derive(Diagnostic)]
253 #[diag(metadata::lib_framework_apple)]
254 pub struct LibFrameworkApple;
255
256 #[derive(Diagnostic)]
257 #[diag(metadata::empty_renaming_target)]
258 pub struct EmptyRenamingTarget<'a> {
259     pub lib_name: &'a str,
260 }
261
262 #[derive(Diagnostic)]
263 #[diag(metadata::renaming_no_link)]
264 pub struct RenamingNoLink<'a> {
265     pub lib_name: &'a str,
266 }
267
268 #[derive(Diagnostic)]
269 #[diag(metadata::multiple_renamings)]
270 pub struct MultipleRenamings<'a> {
271     pub lib_name: &'a str,
272 }
273
274 #[derive(Diagnostic)]
275 #[diag(metadata::no_link_mod_override)]
276 pub struct NoLinkModOverride {
277     #[primary_span]
278     pub span: Option<Span>,
279 }
280
281 #[derive(Diagnostic)]
282 #[diag(metadata::unsupported_abi_i686)]
283 pub struct UnsupportedAbiI686 {
284     #[primary_span]
285     pub span: Span,
286 }
287
288 #[derive(Diagnostic)]
289 #[diag(metadata::unsupported_abi)]
290 pub struct UnsupportedAbi {
291     #[primary_span]
292     pub span: Span,
293 }
294
295 #[derive(Diagnostic)]
296 #[diag(metadata::fail_create_file_encoder)]
297 pub struct FailCreateFileEncoder {
298     pub err: Error,
299 }
300
301 #[derive(Diagnostic)]
302 #[diag(metadata::fail_seek_file)]
303 pub struct FailSeekFile {
304     pub err: Error,
305 }
306
307 #[derive(Diagnostic)]
308 #[diag(metadata::fail_write_file)]
309 pub struct FailWriteFile {
310     pub err: Error,
311 }
312
313 #[derive(Diagnostic)]
314 #[diag(metadata::crate_not_panic_runtime)]
315 pub struct CrateNotPanicRuntime {
316     pub crate_name: Symbol,
317 }
318
319 #[derive(Diagnostic)]
320 #[diag(metadata::no_panic_strategy)]
321 pub struct NoPanicStrategy {
322     pub crate_name: Symbol,
323     pub strategy: PanicStrategy,
324 }
325
326 #[derive(Diagnostic)]
327 #[diag(metadata::profiler_builtins_needs_core)]
328 pub struct ProfilerBuiltinsNeedsCore;
329
330 #[derive(Diagnostic)]
331 #[diag(metadata::not_profiler_runtime)]
332 pub struct NotProfilerRuntime {
333     pub crate_name: Symbol,
334 }
335
336 #[derive(Diagnostic)]
337 #[diag(metadata::no_multiple_global_alloc)]
338 pub struct NoMultipleGlobalAlloc {
339     #[primary_span]
340     #[label]
341     pub span2: Span,
342     #[label(metadata::prev_global_alloc)]
343     pub span1: Span,
344 }
345
346 #[derive(Diagnostic)]
347 #[diag(metadata::conflicting_global_alloc)]
348 pub struct ConflictingGlobalAlloc {
349     pub crate_name: Symbol,
350     pub other_crate_name: Symbol,
351 }
352
353 #[derive(Diagnostic)]
354 #[diag(metadata::global_alloc_required)]
355 pub struct GlobalAllocRequired;
356
357 #[derive(Diagnostic)]
358 #[diag(metadata::no_transitive_needs_dep)]
359 pub struct NoTransitiveNeedsDep<'a> {
360     pub crate_name: Symbol,
361     pub needs_crate_name: &'a str,
362     pub deps_crate_name: Symbol,
363 }
364
365 #[derive(Diagnostic)]
366 #[diag(metadata::failed_write_error)]
367 pub struct FailedWriteError {
368     pub filename: PathBuf,
369     pub err: Error,
370 }
371
372 #[derive(Diagnostic)]
373 #[diag(metadata::missing_native_library)]
374 pub struct MissingNativeLibrary<'a> {
375     libname: &'a str,
376     #[subdiagnostic]
377     suggest_name: Option<SuggestLibraryName<'a>>,
378 }
379
380 impl<'a> MissingNativeLibrary<'a> {
381     pub fn new(libname: &'a str, verbatim: bool) -> Self {
382         // if it looks like the user has provided a complete filename rather just the bare lib name,
383         // then provide a note that they might want to try trimming the name
384         let suggested_name = if !verbatim {
385             if let Some(libname) = libname.strip_prefix("lib") && let Some(libname) = libname.strip_suffix(".a") {
386                 // this is a unix style filename so trim prefix & suffix
387                 Some(libname)
388             } else if let Some(libname) = libname.strip_suffix(".lib") {
389                 // this is a Windows style filename so just trim the suffix
390                 Some(libname)
391             } else {
392                 None
393             }
394         } else {
395             None
396         };
397
398         Self {
399             libname,
400             suggest_name: suggested_name
401                 .map(|suggested_name| SuggestLibraryName { suggested_name }),
402         }
403     }
404 }
405
406 #[derive(Subdiagnostic)]
407 #[help(metadata::only_provide_library_name)]
408 pub struct SuggestLibraryName<'a> {
409     suggested_name: &'a str,
410 }
411
412 #[derive(Diagnostic)]
413 #[diag(metadata::failed_create_tempdir)]
414 pub struct FailedCreateTempdir {
415     pub err: Error,
416 }
417
418 #[derive(Diagnostic)]
419 #[diag(metadata::failed_create_file)]
420 pub struct FailedCreateFile<'a> {
421     pub filename: &'a Path,
422     pub err: Error,
423 }
424
425 #[derive(Diagnostic)]
426 #[diag(metadata::failed_create_encoded_metadata)]
427 pub struct FailedCreateEncodedMetadata {
428     pub err: Error,
429 }
430
431 #[derive(Diagnostic)]
432 #[diag(metadata::non_ascii_name)]
433 pub struct NonAsciiName {
434     #[primary_span]
435     pub span: Span,
436     pub crate_name: Symbol,
437 }
438
439 #[derive(Diagnostic)]
440 #[diag(metadata::extern_location_not_exist)]
441 pub struct ExternLocationNotExist<'a> {
442     #[primary_span]
443     pub span: Span,
444     pub crate_name: Symbol,
445     pub location: &'a Path,
446 }
447
448 #[derive(Diagnostic)]
449 #[diag(metadata::extern_location_not_file)]
450 pub struct ExternLocationNotFile<'a> {
451     #[primary_span]
452     pub span: Span,
453     pub crate_name: Symbol,
454     pub location: &'a Path,
455 }
456
457 pub(crate) struct MultipleCandidates {
458     pub span: Span,
459     pub flavor: CrateFlavor,
460     pub crate_name: Symbol,
461     pub candidates: Vec<PathBuf>,
462 }
463
464 impl IntoDiagnostic<'_> for MultipleCandidates {
465     fn into_diagnostic(
466         self,
467         handler: &'_ rustc_errors::Handler,
468     ) -> rustc_errors::DiagnosticBuilder<'_, ErrorGuaranteed> {
469         let mut diag = handler.struct_err(rustc_errors::fluent::metadata::multiple_candidates);
470         diag.set_arg("crate_name", self.crate_name);
471         diag.set_arg("flavor", self.flavor);
472         diag.code(error_code!(E0465));
473         diag.set_span(self.span);
474         for (i, candidate) in self.candidates.iter().enumerate() {
475             diag.span_note(self.span, &format!("candidate #{}: {}", i + 1, candidate.display()));
476         }
477         diag
478     }
479 }
480
481 #[derive(Diagnostic)]
482 #[diag(metadata::multiple_matching_crates, code = "E0464")]
483 #[note]
484 pub struct MultipleMatchingCrates {
485     #[primary_span]
486     pub span: Span,
487     pub crate_name: Symbol,
488     pub candidates: String,
489 }
490
491 #[derive(Diagnostic)]
492 #[diag(metadata::symbol_conflicts_current, code = "E0519")]
493 pub struct SymbolConflictsCurrent {
494     #[primary_span]
495     pub span: Span,
496     pub crate_name: Symbol,
497 }
498
499 #[derive(Diagnostic)]
500 #[diag(metadata::symbol_conflicts_others, code = "E0523")]
501 pub struct SymbolConflictsOthers {
502     #[primary_span]
503     pub span: Span,
504     pub crate_name: Symbol,
505 }
506
507 #[derive(Diagnostic)]
508 #[diag(metadata::stable_crate_id_collision)]
509 pub struct StableCrateIdCollision {
510     #[primary_span]
511     pub span: Span,
512     pub crate_name0: Symbol,
513     pub crate_name1: Symbol,
514 }
515
516 #[derive(Diagnostic)]
517 #[diag(metadata::dl_error)]
518 pub struct DlError {
519     #[primary_span]
520     pub span: Span,
521     pub err: String,
522 }
523
524 #[derive(Diagnostic)]
525 #[diag(metadata::newer_crate_version, code = "E0460")]
526 #[note]
527 #[note(metadata::found_crate_versions)]
528 pub struct NewerCrateVersion {
529     #[primary_span]
530     pub span: Span,
531     pub crate_name: Symbol,
532     pub add_info: String,
533     pub found_crates: String,
534 }
535
536 #[derive(Diagnostic)]
537 #[diag(metadata::no_crate_with_triple, code = "E0461")]
538 #[note(metadata::found_crate_versions)]
539 pub struct NoCrateWithTriple<'a> {
540     #[primary_span]
541     pub span: Span,
542     pub crate_name: Symbol,
543     pub locator_triple: &'a str,
544     pub add_info: String,
545     pub found_crates: String,
546 }
547
548 #[derive(Diagnostic)]
549 #[diag(metadata::found_staticlib, code = "E0462")]
550 #[note(metadata::found_crate_versions)]
551 #[help]
552 pub struct FoundStaticlib {
553     #[primary_span]
554     pub span: Span,
555     pub crate_name: Symbol,
556     pub add_info: String,
557     pub found_crates: String,
558 }
559
560 #[derive(Diagnostic)]
561 #[diag(metadata::incompatible_rustc, code = "E0514")]
562 #[note(metadata::found_crate_versions)]
563 #[help]
564 pub struct IncompatibleRustc {
565     #[primary_span]
566     pub span: Span,
567     pub crate_name: Symbol,
568     pub add_info: String,
569     pub found_crates: String,
570     pub rustc_version: String,
571 }
572
573 pub struct InvalidMetadataFiles {
574     pub span: Span,
575     pub crate_name: Symbol,
576     pub add_info: String,
577     pub crate_rejections: Vec<String>,
578 }
579
580 impl IntoDiagnostic<'_> for InvalidMetadataFiles {
581     fn into_diagnostic(
582         self,
583         handler: &'_ rustc_errors::Handler,
584     ) -> rustc_errors::DiagnosticBuilder<'_, ErrorGuaranteed> {
585         let mut diag = handler.struct_err(rustc_errors::fluent::metadata::invalid_meta_files);
586         diag.set_arg("crate_name", self.crate_name);
587         diag.set_arg("add_info", self.add_info);
588         diag.code(error_code!(E0786));
589         diag.set_span(self.span);
590         for crate_rejection in self.crate_rejections {
591             diag.note(crate_rejection);
592         }
593         diag
594     }
595 }
596
597 pub struct CannotFindCrate {
598     pub span: Span,
599     pub crate_name: Symbol,
600     pub add_info: String,
601     pub missing_core: bool,
602     pub current_crate: String,
603     pub is_nightly_build: bool,
604     pub profiler_runtime: Symbol,
605     pub locator_triple: TargetTriple,
606 }
607
608 impl IntoDiagnostic<'_> for CannotFindCrate {
609     fn into_diagnostic(
610         self,
611         handler: &'_ rustc_errors::Handler,
612     ) -> rustc_errors::DiagnosticBuilder<'_, ErrorGuaranteed> {
613         let mut diag = handler.struct_err(rustc_errors::fluent::metadata::cannot_find_crate);
614         diag.set_arg("crate_name", self.crate_name);
615         diag.set_arg("current_crate", self.current_crate);
616         diag.set_arg("add_info", self.add_info);
617         diag.set_arg("locator_triple", self.locator_triple.triple());
618         diag.code(error_code!(E0463));
619         diag.set_span(self.span);
620         if (self.crate_name == sym::std || self.crate_name == sym::core)
621             && self.locator_triple != TargetTriple::from_triple(config::host_triple())
622         {
623             if self.missing_core {
624                 diag.note(rustc_errors::fluent::metadata::target_not_installed);
625             } else {
626                 diag.note(rustc_errors::fluent::metadata::target_no_std_support);
627             }
628             // NOTE: this suggests using rustup, even though the user may not have it installed.
629             // That's because they could choose to install it; or this may give them a hint which
630             // target they need to install from their distro.
631             if self.missing_core {
632                 diag.help(rustc_errors::fluent::metadata::consider_downloading_target);
633             }
634             // Suggest using #![no_std]. #[no_core] is unstable and not really supported anyway.
635             // NOTE: this is a dummy span if `extern crate std` was injected by the compiler.
636             // If it's not a dummy, that means someone added `extern crate std` explicitly and
637             // `#![no_std]` won't help.
638             if !self.missing_core && self.span.is_dummy() {
639                 diag.note(rustc_errors::fluent::metadata::std_required);
640             }
641             if self.is_nightly_build {
642                 diag.help(rustc_errors::fluent::metadata::consider_building_std);
643             }
644         } else if self.crate_name == self.profiler_runtime {
645             diag.note(rustc_errors::fluent::metadata::compiler_missing_profiler);
646         } else if self.crate_name.as_str().starts_with("rustc_") {
647             diag.help(rustc_errors::fluent::metadata::install_missing_components);
648         }
649         diag.span_label(self.span, rustc_errors::fluent::metadata::cant_find_crate);
650         diag
651     }
652 }
653
654 #[derive(Diagnostic)]
655 #[diag(metadata::no_dylib_plugin, code = "E0457")]
656 pub struct NoDylibPlugin {
657     #[primary_span]
658     pub span: Span,
659     pub crate_name: Symbol,
660 }
661
662 #[derive(Diagnostic)]
663 #[diag(metadata::crate_location_unknown_type)]
664 pub struct CrateLocationUnknownType<'a> {
665     #[primary_span]
666     pub span: Span,
667     pub path: &'a Path,
668 }
669
670 #[derive(Diagnostic)]
671 #[diag(metadata::lib_filename_form)]
672 pub struct LibFilenameForm<'a> {
673     #[primary_span]
674     pub span: Span,
675     pub dll_prefix: &'a str,
676     pub dll_suffix: &'a str,
677 }
678
679 #[derive(Diagnostic)]
680 #[diag(metadata::multiple_import_name_type)]
681 pub struct MultipleImportNameType {
682     #[primary_span]
683     pub span: Span,
684 }
685
686 #[derive(Diagnostic)]
687 #[diag(metadata::import_name_type_form)]
688 pub struct ImportNameTypeForm {
689     #[primary_span]
690     pub span: Span,
691 }
692
693 #[derive(Diagnostic)]
694 #[diag(metadata::import_name_type_x86)]
695 pub struct ImportNameTypeX86 {
696     #[primary_span]
697     pub span: Span,
698 }
699
700 #[derive(Diagnostic)]
701 #[diag(metadata::unknown_import_name_type)]
702 pub struct UnknownImportNameType<'a> {
703     #[primary_span]
704     pub span: Span,
705     pub import_name_type: &'a str,
706 }
707
708 #[derive(Diagnostic)]
709 #[diag(metadata::import_name_type_raw)]
710 pub struct ImportNameTypeRaw {
711     #[primary_span]
712     pub span: Span,
713 }