rustc_mir_build/
errors.rs

1use rustc_errors::codes::*;
2use rustc_errors::{
3    Applicability, Diag, DiagArgValue, DiagCtxtHandle, Diagnostic, EmissionGuarantee, Level,
4    MultiSpan, Subdiagnostic,
5};
6use rustc_macros::{Diagnostic, LintDiagnostic, Subdiagnostic};
7use rustc_middle::ty::{self, Ty};
8use rustc_pattern_analysis::errors::Uncovered;
9use rustc_pattern_analysis::rustc::RustcPatCtxt;
10use rustc_span::{Ident, Span, Symbol};
11
12use crate::fluent_generated as fluent;
13
14#[derive(LintDiagnostic)]
15#[diag(mir_build_call_to_deprecated_safe_fn_requires_unsafe)]
16pub(crate) struct CallToDeprecatedSafeFnRequiresUnsafe {
17    #[label]
18    pub(crate) span: Span,
19    pub(crate) function: String,
20    pub(crate) guarantee: String,
21    #[subdiagnostic]
22    pub(crate) sub: CallToDeprecatedSafeFnRequiresUnsafeSub,
23}
24
25#[derive(Subdiagnostic)]
26#[multipart_suggestion(mir_build_suggestion, applicability = "machine-applicable")]
27pub(crate) struct CallToDeprecatedSafeFnRequiresUnsafeSub {
28    pub(crate) start_of_line_suggestion: String,
29    #[suggestion_part(code = "{start_of_line_suggestion}")]
30    pub(crate) start_of_line: Span,
31    #[suggestion_part(code = "unsafe {{ ")]
32    pub(crate) left: Span,
33    #[suggestion_part(code = " }}")]
34    pub(crate) right: Span,
35}
36
37#[derive(LintDiagnostic)]
38#[diag(mir_build_unsafe_op_in_unsafe_fn_call_to_unsafe_fn_requires_unsafe, code = E0133)]
39#[note]
40pub(crate) struct UnsafeOpInUnsafeFnCallToUnsafeFunctionRequiresUnsafe {
41    #[label]
42    pub(crate) span: Span,
43    pub(crate) function: String,
44    #[subdiagnostic]
45    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
46}
47
48#[derive(LintDiagnostic)]
49#[diag(mir_build_unsafe_op_in_unsafe_fn_call_to_unsafe_fn_requires_unsafe_nameless, code = E0133)]
50#[note]
51pub(crate) struct UnsafeOpInUnsafeFnCallToUnsafeFunctionRequiresUnsafeNameless {
52    #[label]
53    pub(crate) span: Span,
54    #[subdiagnostic]
55    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
56}
57
58#[derive(LintDiagnostic)]
59#[diag(mir_build_unsafe_op_in_unsafe_fn_inline_assembly_requires_unsafe, code = E0133)]
60#[note]
61pub(crate) struct UnsafeOpInUnsafeFnUseOfInlineAssemblyRequiresUnsafe {
62    #[label]
63    pub(crate) span: Span,
64    #[subdiagnostic]
65    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
66}
67
68#[derive(LintDiagnostic)]
69#[diag(mir_build_unsafe_op_in_unsafe_fn_initializing_type_with_requires_unsafe, code = E0133)]
70#[note]
71pub(crate) struct UnsafeOpInUnsafeFnInitializingTypeWithRequiresUnsafe {
72    #[label]
73    pub(crate) span: Span,
74    #[subdiagnostic]
75    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
76}
77
78#[derive(LintDiagnostic)]
79#[diag(mir_build_unsafe_op_in_unsafe_fn_initializing_type_with_unsafe_field_requires_unsafe, code = E0133)]
80#[note]
81pub(crate) struct UnsafeOpInUnsafeFnInitializingTypeWithUnsafeFieldRequiresUnsafe {
82    #[label]
83    pub(crate) span: Span,
84    #[subdiagnostic]
85    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
86}
87
88#[derive(LintDiagnostic)]
89#[diag(mir_build_unsafe_op_in_unsafe_fn_mutable_static_requires_unsafe, code = E0133)]
90#[note]
91pub(crate) struct UnsafeOpInUnsafeFnUseOfMutableStaticRequiresUnsafe {
92    #[label]
93    pub(crate) span: Span,
94    #[subdiagnostic]
95    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
96}
97
98#[derive(LintDiagnostic)]
99#[diag(mir_build_unsafe_op_in_unsafe_fn_extern_static_requires_unsafe, code = E0133)]
100#[note]
101pub(crate) struct UnsafeOpInUnsafeFnUseOfExternStaticRequiresUnsafe {
102    #[label]
103    pub(crate) span: Span,
104    #[subdiagnostic]
105    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
106}
107
108#[derive(LintDiagnostic)]
109#[diag(mir_build_unsafe_op_in_unsafe_fn_unsafe_field_requires_unsafe, code = E0133)]
110#[note]
111pub(crate) struct UnsafeOpInUnsafeFnUseOfUnsafeFieldRequiresUnsafe {
112    #[label]
113    pub(crate) span: Span,
114    #[subdiagnostic]
115    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
116}
117
118#[derive(LintDiagnostic)]
119#[diag(mir_build_unsafe_op_in_unsafe_fn_deref_raw_pointer_requires_unsafe, code = E0133)]
120#[note]
121pub(crate) struct UnsafeOpInUnsafeFnDerefOfRawPointerRequiresUnsafe {
122    #[label]
123    pub(crate) span: Span,
124    #[subdiagnostic]
125    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
126}
127
128#[derive(LintDiagnostic)]
129#[diag(mir_build_unsafe_op_in_unsafe_fn_union_field_requires_unsafe, code = E0133)]
130#[note]
131pub(crate) struct UnsafeOpInUnsafeFnAccessToUnionFieldRequiresUnsafe {
132    #[label]
133    pub(crate) span: Span,
134    #[subdiagnostic]
135    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
136}
137
138#[derive(LintDiagnostic)]
139#[diag(
140    mir_build_unsafe_op_in_unsafe_fn_mutation_of_layout_constrained_field_requires_unsafe,
141    code = E0133
142)]
143#[note]
144pub(crate) struct UnsafeOpInUnsafeFnMutationOfLayoutConstrainedFieldRequiresUnsafe {
145    #[label]
146    pub(crate) span: Span,
147    #[subdiagnostic]
148    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
149}
150
151#[derive(LintDiagnostic)]
152#[diag(
153    mir_build_unsafe_op_in_unsafe_fn_borrow_of_layout_constrained_field_requires_unsafe,
154    code = E0133,
155)]
156pub(crate) struct UnsafeOpInUnsafeFnBorrowOfLayoutConstrainedFieldRequiresUnsafe {
157    #[label]
158    pub(crate) span: Span,
159    #[subdiagnostic]
160    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
161}
162
163#[derive(LintDiagnostic)]
164#[diag(
165    mir_build_unsafe_binder_cast_requires_unsafe,
166    code = E0133,
167)]
168pub(crate) struct UnsafeOpInUnsafeFnUnsafeBinderCastRequiresUnsafe {
169    #[label]
170    pub(crate) span: Span,
171    #[subdiagnostic]
172    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
173}
174
175#[derive(LintDiagnostic)]
176#[diag(mir_build_unsafe_op_in_unsafe_fn_call_to_fn_with_requires_unsafe, code = E0133)]
177#[help]
178pub(crate) struct UnsafeOpInUnsafeFnCallToFunctionWithRequiresUnsafe {
179    #[label]
180    pub(crate) span: Span,
181    pub(crate) function: String,
182    pub(crate) missing_target_features: DiagArgValue,
183    pub(crate) missing_target_features_count: usize,
184    #[note]
185    pub(crate) note: bool,
186    pub(crate) build_target_features: DiagArgValue,
187    pub(crate) build_target_features_count: usize,
188    #[subdiagnostic]
189    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedLintNote>,
190}
191
192#[derive(Diagnostic)]
193#[diag(mir_build_call_to_unsafe_fn_requires_unsafe, code = E0133)]
194#[note]
195pub(crate) struct CallToUnsafeFunctionRequiresUnsafe {
196    #[primary_span]
197    #[label]
198    pub(crate) span: Span,
199    pub(crate) function: String,
200    #[subdiagnostic]
201    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
202}
203
204#[derive(Diagnostic)]
205#[diag(mir_build_call_to_unsafe_fn_requires_unsafe_nameless, code = E0133)]
206#[note]
207pub(crate) struct CallToUnsafeFunctionRequiresUnsafeNameless {
208    #[primary_span]
209    #[label]
210    pub(crate) span: Span,
211    #[subdiagnostic]
212    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
213}
214
215#[derive(Diagnostic)]
216#[diag(mir_build_call_to_unsafe_fn_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
217#[note]
218pub(crate) struct CallToUnsafeFunctionRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
219    #[primary_span]
220    #[label]
221    pub(crate) span: Span,
222    pub(crate) function: String,
223    #[subdiagnostic]
224    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
225}
226
227#[derive(Diagnostic)]
228#[diag(
229    mir_build_call_to_unsafe_fn_requires_unsafe_nameless_unsafe_op_in_unsafe_fn_allowed,
230    code = E0133
231)]
232#[note]
233pub(crate) struct CallToUnsafeFunctionRequiresUnsafeNamelessUnsafeOpInUnsafeFnAllowed {
234    #[primary_span]
235    #[label]
236    pub(crate) span: Span,
237    #[subdiagnostic]
238    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
239}
240
241#[derive(Diagnostic)]
242#[diag(mir_build_inline_assembly_requires_unsafe, code = E0133)]
243#[note]
244pub(crate) struct UseOfInlineAssemblyRequiresUnsafe {
245    #[primary_span]
246    #[label]
247    pub(crate) span: Span,
248    #[subdiagnostic]
249    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
250}
251
252#[derive(Diagnostic)]
253#[diag(mir_build_inline_assembly_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
254#[note]
255pub(crate) struct UseOfInlineAssemblyRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
256    #[primary_span]
257    #[label]
258    pub(crate) span: Span,
259    #[subdiagnostic]
260    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
261}
262
263#[derive(Diagnostic)]
264#[diag(mir_build_initializing_type_with_requires_unsafe, code = E0133)]
265#[note]
266pub(crate) struct InitializingTypeWithRequiresUnsafe {
267    #[primary_span]
268    #[label]
269    pub(crate) span: Span,
270    #[subdiagnostic]
271    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
272}
273
274#[derive(Diagnostic)]
275#[diag(mir_build_initializing_type_with_unsafe_field_requires_unsafe, code = E0133)]
276#[note]
277pub(crate) struct InitializingTypeWithUnsafeFieldRequiresUnsafe {
278    #[primary_span]
279    #[label]
280    pub(crate) span: Span,
281    #[subdiagnostic]
282    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
283}
284
285#[derive(Diagnostic)]
286#[diag(
287    mir_build_initializing_type_with_requires_unsafe_unsafe_op_in_unsafe_fn_allowed,
288    code = E0133
289)]
290#[note]
291pub(crate) struct InitializingTypeWithRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
292    #[primary_span]
293    #[label]
294    pub(crate) span: Span,
295    #[subdiagnostic]
296    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
297}
298
299#[derive(Diagnostic)]
300#[diag(
301    mir_build_initializing_type_with_unsafe_field_requires_unsafe_unsafe_op_in_unsafe_fn_allowed,
302    code = E0133
303)]
304#[note]
305pub(crate) struct InitializingTypeWithUnsafeFieldRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
306    #[primary_span]
307    #[label]
308    pub(crate) span: Span,
309    #[subdiagnostic]
310    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
311}
312
313#[derive(Diagnostic)]
314#[diag(mir_build_mutable_static_requires_unsafe, code = E0133)]
315#[note]
316pub(crate) struct UseOfMutableStaticRequiresUnsafe {
317    #[primary_span]
318    #[label]
319    pub(crate) span: Span,
320    #[subdiagnostic]
321    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
322}
323
324#[derive(Diagnostic)]
325#[diag(mir_build_mutable_static_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
326#[note]
327pub(crate) struct UseOfMutableStaticRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
328    #[primary_span]
329    #[label]
330    pub(crate) span: Span,
331    #[subdiagnostic]
332    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
333}
334
335#[derive(Diagnostic)]
336#[diag(mir_build_extern_static_requires_unsafe, code = E0133)]
337#[note]
338pub(crate) struct UseOfExternStaticRequiresUnsafe {
339    #[primary_span]
340    #[label]
341    pub(crate) span: Span,
342    #[subdiagnostic]
343    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
344}
345
346#[derive(Diagnostic)]
347#[diag(mir_build_extern_static_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
348#[note]
349pub(crate) struct UseOfExternStaticRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
350    #[primary_span]
351    #[label]
352    pub(crate) span: Span,
353    #[subdiagnostic]
354    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
355}
356
357#[derive(Diagnostic)]
358#[diag(mir_build_unsafe_field_requires_unsafe, code = E0133)]
359#[note]
360pub(crate) struct UseOfUnsafeFieldRequiresUnsafe {
361    #[primary_span]
362    #[label]
363    pub(crate) span: Span,
364    #[subdiagnostic]
365    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
366}
367
368#[derive(Diagnostic)]
369#[diag(mir_build_unsafe_field_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
370#[note]
371pub(crate) struct UseOfUnsafeFieldRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
372    #[primary_span]
373    #[label]
374    pub(crate) span: Span,
375    #[subdiagnostic]
376    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
377}
378
379#[derive(Diagnostic)]
380#[diag(mir_build_deref_raw_pointer_requires_unsafe, code = E0133)]
381#[note]
382pub(crate) struct DerefOfRawPointerRequiresUnsafe {
383    #[primary_span]
384    #[label]
385    pub(crate) span: Span,
386    #[subdiagnostic]
387    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
388}
389
390#[derive(Diagnostic)]
391#[diag(mir_build_deref_raw_pointer_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
392#[note]
393pub(crate) struct DerefOfRawPointerRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
394    #[primary_span]
395    #[label]
396    pub(crate) span: Span,
397    #[subdiagnostic]
398    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
399}
400
401#[derive(Diagnostic)]
402#[diag(mir_build_union_field_requires_unsafe, code = E0133)]
403#[note]
404pub(crate) struct AccessToUnionFieldRequiresUnsafe {
405    #[primary_span]
406    #[label]
407    pub(crate) span: Span,
408    #[subdiagnostic]
409    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
410}
411
412#[derive(Diagnostic)]
413#[diag(mir_build_union_field_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
414#[note]
415pub(crate) struct AccessToUnionFieldRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
416    #[primary_span]
417    #[label]
418    pub(crate) span: Span,
419    #[subdiagnostic]
420    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
421}
422
423#[derive(Diagnostic)]
424#[diag(mir_build_mutation_of_layout_constrained_field_requires_unsafe, code = E0133)]
425#[note]
426pub(crate) struct MutationOfLayoutConstrainedFieldRequiresUnsafe {
427    #[primary_span]
428    #[label]
429    pub(crate) span: Span,
430    #[subdiagnostic]
431    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
432}
433
434#[derive(Diagnostic)]
435#[diag(
436    mir_build_mutation_of_layout_constrained_field_requires_unsafe_unsafe_op_in_unsafe_fn_allowed,
437    code = E0133
438)]
439#[note]
440pub(crate) struct MutationOfLayoutConstrainedFieldRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
441    #[primary_span]
442    #[label]
443    pub(crate) span: Span,
444    #[subdiagnostic]
445    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
446}
447
448#[derive(Diagnostic)]
449#[diag(mir_build_borrow_of_layout_constrained_field_requires_unsafe, code = E0133)]
450#[note]
451pub(crate) struct BorrowOfLayoutConstrainedFieldRequiresUnsafe {
452    #[primary_span]
453    #[label]
454    pub(crate) span: Span,
455    #[subdiagnostic]
456    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
457}
458
459#[derive(Diagnostic)]
460#[diag(
461    mir_build_borrow_of_layout_constrained_field_requires_unsafe_unsafe_op_in_unsafe_fn_allowed,
462    code = E0133
463)]
464#[note]
465pub(crate) struct BorrowOfLayoutConstrainedFieldRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
466    #[primary_span]
467    #[label]
468    pub(crate) span: Span,
469    #[subdiagnostic]
470    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
471}
472
473#[derive(Diagnostic)]
474#[diag(mir_build_call_to_fn_with_requires_unsafe, code = E0133)]
475#[help]
476pub(crate) struct CallToFunctionWithRequiresUnsafe {
477    #[primary_span]
478    #[label]
479    pub(crate) span: Span,
480    pub(crate) function: String,
481    pub(crate) missing_target_features: DiagArgValue,
482    pub(crate) missing_target_features_count: usize,
483    #[note]
484    pub(crate) note: bool,
485    pub(crate) build_target_features: DiagArgValue,
486    pub(crate) build_target_features_count: usize,
487    #[subdiagnostic]
488    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
489}
490
491#[derive(Diagnostic)]
492#[diag(mir_build_call_to_fn_with_requires_unsafe_unsafe_op_in_unsafe_fn_allowed, code = E0133)]
493#[help]
494pub(crate) struct CallToFunctionWithRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
495    #[primary_span]
496    #[label]
497    pub(crate) span: Span,
498    pub(crate) function: String,
499    pub(crate) missing_target_features: DiagArgValue,
500    pub(crate) missing_target_features_count: usize,
501    #[note]
502    pub(crate) note: bool,
503    pub(crate) build_target_features: DiagArgValue,
504    pub(crate) build_target_features_count: usize,
505    #[subdiagnostic]
506    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
507}
508
509#[derive(Diagnostic)]
510#[diag(
511    mir_build_unsafe_binder_cast_requires_unsafe,
512    code = E0133,
513)]
514pub(crate) struct UnsafeBinderCastRequiresUnsafe {
515    #[primary_span]
516    #[label]
517    pub(crate) span: Span,
518    #[subdiagnostic]
519    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
520}
521
522#[derive(Diagnostic)]
523#[diag(
524    mir_build_unsafe_binder_cast_requires_unsafe_unsafe_op_in_unsafe_fn_allowed,
525    code = E0133,
526)]
527pub(crate) struct UnsafeBinderCastRequiresUnsafeUnsafeOpInUnsafeFnAllowed {
528    #[primary_span]
529    #[label]
530    pub(crate) span: Span,
531    #[subdiagnostic]
532    pub(crate) unsafe_not_inherited_note: Option<UnsafeNotInheritedNote>,
533}
534
535#[derive(Subdiagnostic)]
536#[label(mir_build_unsafe_not_inherited)]
537pub(crate) struct UnsafeNotInheritedNote {
538    #[primary_span]
539    pub(crate) span: Span,
540}
541
542pub(crate) struct UnsafeNotInheritedLintNote {
543    pub(crate) signature_span: Span,
544    pub(crate) body_span: Span,
545}
546
547impl Subdiagnostic for UnsafeNotInheritedLintNote {
548    fn add_to_diag<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>) {
549        diag.span_note(self.signature_span, fluent::mir_build_unsafe_fn_safe_body);
550        let body_start = self.body_span.shrink_to_lo();
551        let body_end = self.body_span.shrink_to_hi();
552        diag.tool_only_multipart_suggestion(
553            fluent::mir_build_wrap_suggestion,
554            vec![(body_start, "{ unsafe ".into()), (body_end, "}".into())],
555            Applicability::MachineApplicable,
556        );
557    }
558}
559
560#[derive(LintDiagnostic)]
561#[diag(mir_build_unused_unsafe)]
562pub(crate) struct UnusedUnsafe {
563    #[label]
564    pub(crate) span: Span,
565    #[subdiagnostic]
566    pub(crate) enclosing: Option<UnusedUnsafeEnclosing>,
567}
568
569#[derive(Subdiagnostic)]
570pub(crate) enum UnusedUnsafeEnclosing {
571    #[label(mir_build_unused_unsafe_enclosing_block_label)]
572    Block {
573        #[primary_span]
574        span: Span,
575    },
576}
577
578pub(crate) struct NonExhaustivePatternsTypeNotEmpty<'p, 'tcx, 'm> {
579    pub(crate) cx: &'m RustcPatCtxt<'p, 'tcx>,
580    pub(crate) scrut_span: Span,
581    pub(crate) braces_span: Option<Span>,
582    pub(crate) ty: Ty<'tcx>,
583}
584
585impl<'a, G: EmissionGuarantee> Diagnostic<'a, G> for NonExhaustivePatternsTypeNotEmpty<'_, '_, '_> {
586    fn into_diag(self, dcx: DiagCtxtHandle<'a>, level: Level) -> Diag<'a, G> {
587        let mut diag =
588            Diag::new(dcx, level, fluent::mir_build_non_exhaustive_patterns_type_not_empty);
589        diag.span(self.scrut_span);
590        diag.code(E0004);
591        let peeled_ty = self.ty.peel_refs();
592        diag.arg("ty", self.ty);
593        diag.arg("peeled_ty", peeled_ty);
594
595        if let ty::Adt(def, _) = peeled_ty.kind() {
596            let def_span = self
597                .cx
598                .tcx
599                .hir_get_if_local(def.did())
600                .and_then(|node| node.ident())
601                .map(|ident| ident.span)
602                .unwrap_or_else(|| self.cx.tcx.def_span(def.did()));
603
604            // workaround to make test pass
605            let mut span: MultiSpan = def_span.into();
606            span.push_span_label(def_span, "");
607
608            diag.span_note(span, fluent::mir_build_def_note);
609        }
610
611        let is_non_exhaustive = matches!(self.ty.kind(),
612            ty::Adt(def, _) if def.variant_list_has_applicable_non_exhaustive());
613        if is_non_exhaustive {
614            diag.note(fluent::mir_build_non_exhaustive_type_note);
615        } else {
616            diag.note(fluent::mir_build_type_note);
617        }
618
619        if let ty::Ref(_, sub_ty, _) = self.ty.kind() {
620            if !sub_ty.is_inhabited_from(self.cx.tcx, self.cx.module, self.cx.typing_env) {
621                diag.note(fluent::mir_build_reference_note);
622            }
623        }
624
625        let sm = self.cx.tcx.sess.source_map();
626        if let Some(braces_span) = self.braces_span {
627            // Get the span for the empty match body `{}`.
628            let (indentation, more) = if let Some(snippet) = sm.indentation_before(self.scrut_span)
629            {
630                (format!("\n{snippet}"), "    ")
631            } else {
632                (" ".to_string(), "")
633            };
634            diag.span_suggestion_verbose(
635                braces_span,
636                fluent::mir_build_suggestion,
637                format!(" {{{indentation}{more}_ => todo!(),{indentation}}}"),
638                Applicability::HasPlaceholders,
639            );
640        } else {
641            diag.help(fluent::mir_build_help);
642        }
643
644        diag
645    }
646}
647
648#[derive(Subdiagnostic)]
649#[note(mir_build_non_exhaustive_match_all_arms_guarded)]
650pub(crate) struct NonExhaustiveMatchAllArmsGuarded;
651
652#[derive(Diagnostic)]
653#[diag(mir_build_static_in_pattern, code = E0158)]
654pub(crate) struct StaticInPattern {
655    #[primary_span]
656    #[label]
657    pub(crate) span: Span,
658    #[label(mir_build_static_in_pattern_def)]
659    pub(crate) static_span: Span,
660}
661
662#[derive(Diagnostic)]
663#[diag(mir_build_const_param_in_pattern, code = E0158)]
664pub(crate) struct ConstParamInPattern {
665    #[primary_span]
666    #[label]
667    pub(crate) span: Span,
668    #[label(mir_build_const_param_in_pattern_def)]
669    pub(crate) const_span: Span,
670}
671
672#[derive(Diagnostic)]
673#[diag(mir_build_non_const_path, code = E0080)]
674pub(crate) struct NonConstPath {
675    #[primary_span]
676    #[label]
677    pub(crate) span: Span,
678}
679
680#[derive(LintDiagnostic)]
681#[diag(mir_build_unreachable_pattern)]
682pub(crate) struct UnreachablePattern<'tcx> {
683    #[label]
684    pub(crate) span: Option<Span>,
685    #[label(mir_build_unreachable_matches_no_values)]
686    pub(crate) matches_no_values: Option<Span>,
687    pub(crate) matches_no_values_ty: Ty<'tcx>,
688    #[note(mir_build_unreachable_uninhabited_note)]
689    pub(crate) uninhabited_note: Option<()>,
690    #[label(mir_build_unreachable_covered_by_catchall)]
691    pub(crate) covered_by_catchall: Option<Span>,
692    #[subdiagnostic]
693    pub(crate) wanted_constant: Option<WantedConstant>,
694    #[note(mir_build_unreachable_pattern_const_reexport_accessible)]
695    pub(crate) accessible_constant: Option<Span>,
696    #[note(mir_build_unreachable_pattern_const_inaccessible)]
697    pub(crate) inaccessible_constant: Option<Span>,
698    #[note(mir_build_unreachable_pattern_let_binding)]
699    pub(crate) pattern_let_binding: Option<Span>,
700    #[label(mir_build_unreachable_covered_by_one)]
701    pub(crate) covered_by_one: Option<Span>,
702    #[note(mir_build_unreachable_covered_by_many)]
703    pub(crate) covered_by_many: Option<MultiSpan>,
704    pub(crate) covered_by_many_n_more_count: usize,
705    #[suggestion(code = "", applicability = "machine-applicable")]
706    pub(crate) suggest_remove: Option<Span>,
707}
708
709#[derive(Subdiagnostic)]
710#[suggestion(
711    mir_build_unreachable_pattern_wanted_const,
712    code = "{const_path}",
713    applicability = "machine-applicable"
714)]
715pub(crate) struct WantedConstant {
716    #[primary_span]
717    pub(crate) span: Span,
718    pub(crate) is_typo: bool,
719    pub(crate) const_name: String,
720    pub(crate) const_path: String,
721}
722
723#[derive(Diagnostic)]
724#[diag(mir_build_const_pattern_depends_on_generic_parameter, code = E0158)]
725pub(crate) struct ConstPatternDependsOnGenericParameter {
726    #[primary_span]
727    #[label]
728    pub(crate) span: Span,
729}
730
731#[derive(Diagnostic)]
732#[diag(mir_build_could_not_eval_const_pattern)]
733pub(crate) struct CouldNotEvalConstPattern {
734    #[primary_span]
735    #[label]
736    pub(crate) span: Span,
737}
738
739#[derive(Diagnostic)]
740#[diag(mir_build_lower_range_bound_must_be_less_than_or_equal_to_upper, code = E0030)]
741pub(crate) struct LowerRangeBoundMustBeLessThanOrEqualToUpper {
742    #[primary_span]
743    #[label]
744    pub(crate) span: Span,
745    #[note(mir_build_teach_note)]
746    pub(crate) teach: bool,
747}
748
749#[derive(Diagnostic)]
750#[diag(mir_build_literal_in_range_out_of_bounds)]
751pub(crate) struct LiteralOutOfRange<'tcx> {
752    #[primary_span]
753    #[label]
754    pub(crate) span: Span,
755    pub(crate) ty: Ty<'tcx>,
756    pub(crate) min: i128,
757    pub(crate) max: u128,
758}
759
760#[derive(Diagnostic)]
761#[diag(mir_build_lower_range_bound_must_be_less_than_upper, code = E0579)]
762pub(crate) struct LowerRangeBoundMustBeLessThanUpper {
763    #[primary_span]
764    pub(crate) span: Span,
765}
766
767#[derive(LintDiagnostic)]
768#[diag(mir_build_leading_irrefutable_let_patterns)]
769#[note]
770#[help]
771pub(crate) struct LeadingIrrefutableLetPatterns {
772    pub(crate) count: usize,
773}
774
775#[derive(LintDiagnostic)]
776#[diag(mir_build_trailing_irrefutable_let_patterns)]
777#[note]
778#[help]
779pub(crate) struct TrailingIrrefutableLetPatterns {
780    pub(crate) count: usize,
781}
782
783#[derive(LintDiagnostic)]
784#[diag(mir_build_bindings_with_variant_name, code = E0170)]
785pub(crate) struct BindingsWithVariantName {
786    #[suggestion(code = "{ty_path}::{name}", applicability = "machine-applicable")]
787    pub(crate) suggestion: Option<Span>,
788    pub(crate) ty_path: String,
789    pub(crate) name: Ident,
790}
791
792#[derive(LintDiagnostic)]
793#[diag(mir_build_irrefutable_let_patterns_if_let)]
794#[note]
795#[help]
796pub(crate) struct IrrefutableLetPatternsIfLet {
797    pub(crate) count: usize,
798}
799
800#[derive(LintDiagnostic)]
801#[diag(mir_build_irrefutable_let_patterns_if_let_guard)]
802#[note]
803#[help]
804pub(crate) struct IrrefutableLetPatternsIfLetGuard {
805    pub(crate) count: usize,
806}
807
808#[derive(LintDiagnostic)]
809#[diag(mir_build_irrefutable_let_patterns_let_else)]
810#[note]
811#[help]
812pub(crate) struct IrrefutableLetPatternsLetElse {
813    pub(crate) count: usize,
814}
815
816#[derive(LintDiagnostic)]
817#[diag(mir_build_irrefutable_let_patterns_while_let)]
818#[note]
819#[help]
820pub(crate) struct IrrefutableLetPatternsWhileLet {
821    pub(crate) count: usize,
822}
823
824#[derive(Diagnostic)]
825#[diag(mir_build_borrow_of_moved_value)]
826pub(crate) struct BorrowOfMovedValue<'tcx> {
827    #[primary_span]
828    #[label]
829    #[label(mir_build_occurs_because_label)]
830    pub(crate) binding_span: Span,
831    #[label(mir_build_value_borrowed_label)]
832    pub(crate) conflicts_ref: Vec<Span>,
833    pub(crate) name: Ident,
834    pub(crate) ty: Ty<'tcx>,
835    #[suggestion(code = "ref ", applicability = "machine-applicable")]
836    pub(crate) suggest_borrowing: Option<Span>,
837}
838
839#[derive(Diagnostic)]
840#[diag(mir_build_multiple_mut_borrows)]
841pub(crate) struct MultipleMutBorrows {
842    #[primary_span]
843    pub(crate) span: Span,
844    #[subdiagnostic]
845    pub(crate) occurrences: Vec<Conflict>,
846}
847
848#[derive(Diagnostic)]
849#[diag(mir_build_already_borrowed)]
850pub(crate) struct AlreadyBorrowed {
851    #[primary_span]
852    pub(crate) span: Span,
853    #[subdiagnostic]
854    pub(crate) occurrences: Vec<Conflict>,
855}
856
857#[derive(Diagnostic)]
858#[diag(mir_build_already_mut_borrowed)]
859pub(crate) struct AlreadyMutBorrowed {
860    #[primary_span]
861    pub(crate) span: Span,
862    #[subdiagnostic]
863    pub(crate) occurrences: Vec<Conflict>,
864}
865
866#[derive(Diagnostic)]
867#[diag(mir_build_moved_while_borrowed)]
868pub(crate) struct MovedWhileBorrowed {
869    #[primary_span]
870    pub(crate) span: Span,
871    #[subdiagnostic]
872    pub(crate) occurrences: Vec<Conflict>,
873}
874
875#[derive(Subdiagnostic)]
876pub(crate) enum Conflict {
877    #[label(mir_build_mutable_borrow)]
878    Mut {
879        #[primary_span]
880        span: Span,
881        name: Symbol,
882    },
883    #[label(mir_build_borrow)]
884    Ref {
885        #[primary_span]
886        span: Span,
887        name: Symbol,
888    },
889    #[label(mir_build_moved)]
890    Moved {
891        #[primary_span]
892        span: Span,
893        name: Symbol,
894    },
895}
896
897#[derive(Diagnostic)]
898#[diag(mir_build_union_pattern)]
899pub(crate) struct UnionPattern {
900    #[primary_span]
901    #[label]
902    pub(crate) span: Span,
903}
904
905#[derive(Diagnostic)]
906#[diag(mir_build_type_not_structural)]
907pub(crate) struct TypeNotStructural<'tcx> {
908    #[primary_span]
909    #[label]
910    pub(crate) span: Span,
911    #[label(mir_build_type_not_structural_def)]
912    pub(crate) ty_def_span: Span,
913    pub(crate) ty: Ty<'tcx>,
914    #[note(mir_build_type_not_structural_tip)]
915    pub(crate) manual_partialeq_impl_span: Option<Span>,
916    #[note(mir_build_type_not_structural_more_info)]
917    pub(crate) manual_partialeq_impl_note: bool,
918}
919
920#[derive(Diagnostic)]
921#[diag(mir_build_non_partial_eq_match)]
922#[note(mir_build_type_not_structural_more_info)]
923pub(crate) struct TypeNotPartialEq<'tcx> {
924    #[primary_span]
925    #[label]
926    pub(crate) span: Span,
927    pub(crate) ty: Ty<'tcx>,
928}
929
930#[derive(Diagnostic)]
931#[diag(mir_build_invalid_pattern)]
932pub(crate) struct InvalidPattern<'tcx> {
933    #[primary_span]
934    #[label]
935    pub(crate) span: Span,
936    pub(crate) non_sm_ty: Ty<'tcx>,
937    pub(crate) prefix: String,
938}
939
940#[derive(Diagnostic)]
941#[diag(mir_build_unsized_pattern)]
942pub(crate) struct UnsizedPattern<'tcx> {
943    #[primary_span]
944    pub(crate) span: Span,
945    pub(crate) non_sm_ty: Ty<'tcx>,
946}
947
948#[derive(Diagnostic)]
949#[diag(mir_build_nan_pattern)]
950#[note]
951#[help]
952pub(crate) struct NaNPattern {
953    #[primary_span]
954    #[label]
955    pub(crate) span: Span,
956}
957
958#[derive(Diagnostic)]
959#[diag(mir_build_pointer_pattern)]
960#[note]
961pub(crate) struct PointerPattern {
962    #[primary_span]
963    #[label]
964    pub(crate) span: Span,
965}
966
967#[derive(Diagnostic)]
968#[diag(mir_build_non_empty_never_pattern)]
969#[note]
970pub(crate) struct NonEmptyNeverPattern<'tcx> {
971    #[primary_span]
972    #[label]
973    pub(crate) span: Span,
974    pub(crate) ty: Ty<'tcx>,
975}
976
977#[derive(Diagnostic)]
978#[diag(mir_build_pattern_not_covered, code = E0005)]
979pub(crate) struct PatternNotCovered<'s, 'tcx> {
980    #[primary_span]
981    pub(crate) span: Span,
982    pub(crate) origin: &'s str,
983    #[subdiagnostic]
984    pub(crate) uncovered: Uncovered,
985    #[subdiagnostic]
986    pub(crate) inform: Option<Inform>,
987    #[subdiagnostic]
988    pub(crate) interpreted_as_const: Option<InterpretedAsConst>,
989    #[subdiagnostic]
990    pub(crate) interpreted_as_const_sugg: Option<InterpretedAsConstSugg>,
991    #[subdiagnostic]
992    pub(crate) adt_defined_here: Option<AdtDefinedHere<'tcx>>,
993    #[note(mir_build_privately_uninhabited)]
994    pub(crate) witness_1_is_privately_uninhabited: bool,
995    pub(crate) witness_1: String,
996    #[note(mir_build_pattern_ty)]
997    pub(crate) _p: (),
998    pub(crate) pattern_ty: Ty<'tcx>,
999    #[subdiagnostic]
1000    pub(crate) let_suggestion: Option<SuggestLet>,
1001    #[subdiagnostic]
1002    pub(crate) misc_suggestion: Option<MiscPatternSuggestion>,
1003}
1004
1005#[derive(Subdiagnostic)]
1006#[note(mir_build_inform_irrefutable)]
1007#[note(mir_build_more_information)]
1008pub(crate) struct Inform;
1009
1010#[derive(Subdiagnostic)]
1011#[label(mir_build_confused)]
1012pub(crate) struct InterpretedAsConst {
1013    #[primary_span]
1014    pub(crate) span: Span,
1015    pub(crate) variable: String,
1016}
1017
1018pub(crate) struct AdtDefinedHere<'tcx> {
1019    pub(crate) adt_def_span: Span,
1020    pub(crate) ty: Ty<'tcx>,
1021    pub(crate) variants: Vec<Variant>,
1022}
1023
1024pub(crate) struct Variant {
1025    pub(crate) span: Span,
1026}
1027
1028impl<'tcx> Subdiagnostic for AdtDefinedHere<'tcx> {
1029    fn add_to_diag<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>) {
1030        diag.arg("ty", self.ty);
1031        let mut spans = MultiSpan::from(self.adt_def_span);
1032
1033        for Variant { span } in self.variants {
1034            spans.push_span_label(span, fluent::mir_build_variant_defined_here);
1035        }
1036
1037        diag.span_note(spans, fluent::mir_build_adt_defined_here);
1038    }
1039}
1040
1041#[derive(Subdiagnostic)]
1042#[suggestion(
1043    mir_build_interpreted_as_const,
1044    code = "{variable}_var",
1045    applicability = "maybe-incorrect",
1046    style = "verbose"
1047)]
1048pub(crate) struct InterpretedAsConstSugg {
1049    #[primary_span]
1050    pub(crate) span: Span,
1051    pub(crate) variable: String,
1052}
1053
1054#[derive(Subdiagnostic)]
1055pub(crate) enum SuggestLet {
1056    #[multipart_suggestion(mir_build_suggest_if_let, applicability = "has-placeholders")]
1057    If {
1058        #[suggestion_part(code = "if ")]
1059        start_span: Span,
1060        #[suggestion_part(code = " {{ todo!() }}")]
1061        semi_span: Span,
1062        count: usize,
1063    },
1064    #[suggestion(
1065        mir_build_suggest_let_else,
1066        code = " else {{ todo!() }}",
1067        applicability = "has-placeholders"
1068    )]
1069    Else {
1070        #[primary_span]
1071        end_span: Span,
1072        count: usize,
1073    },
1074}
1075
1076#[derive(Subdiagnostic)]
1077pub(crate) enum MiscPatternSuggestion {
1078    #[suggestion(
1079        mir_build_suggest_attempted_int_lit,
1080        code = "_",
1081        applicability = "maybe-incorrect"
1082    )]
1083    AttemptedIntegerLiteral {
1084        #[primary_span]
1085        start_span: Span,
1086    },
1087}
1088
1089#[derive(Diagnostic)]
1090#[diag(mir_build_loop_match_invalid_update)]
1091pub(crate) struct LoopMatchInvalidUpdate {
1092    #[primary_span]
1093    pub lhs: Span,
1094    #[label]
1095    pub scrutinee: Span,
1096}
1097
1098#[derive(Diagnostic)]
1099#[diag(mir_build_loop_match_invalid_match)]
1100#[note]
1101pub(crate) struct LoopMatchInvalidMatch {
1102    #[primary_span]
1103    pub span: Span,
1104}
1105
1106#[derive(Diagnostic)]
1107#[diag(mir_build_loop_match_unsupported_type)]
1108#[note]
1109pub(crate) struct LoopMatchUnsupportedType<'tcx> {
1110    #[primary_span]
1111    pub span: Span,
1112    pub ty: Ty<'tcx>,
1113}
1114
1115#[derive(Diagnostic)]
1116#[diag(mir_build_loop_match_bad_statements)]
1117pub(crate) struct LoopMatchBadStatements {
1118    #[primary_span]
1119    pub span: Span,
1120}
1121
1122#[derive(Diagnostic)]
1123#[diag(mir_build_loop_match_bad_rhs)]
1124pub(crate) struct LoopMatchBadRhs {
1125    #[primary_span]
1126    pub span: Span,
1127}
1128
1129#[derive(Diagnostic)]
1130#[diag(mir_build_loop_match_missing_assignment)]
1131pub(crate) struct LoopMatchMissingAssignment {
1132    #[primary_span]
1133    pub span: Span,
1134}
1135
1136#[derive(Diagnostic)]
1137#[diag(mir_build_loop_match_arm_with_guard)]
1138pub(crate) struct LoopMatchArmWithGuard {
1139    #[primary_span]
1140    pub span: Span,
1141}
1142
1143#[derive(Diagnostic)]
1144#[diag(mir_build_const_continue_not_const)]
1145#[help]
1146pub(crate) struct ConstContinueNotMonomorphicConst {
1147    #[primary_span]
1148    pub span: Span,
1149
1150    #[subdiagnostic]
1151    pub reason: ConstContinueNotMonomorphicConstReason,
1152}
1153
1154#[derive(Subdiagnostic)]
1155pub(crate) enum ConstContinueNotMonomorphicConstReason {
1156    #[label(mir_build_const_continue_not_const_constant_parameter)]
1157    ConstantParameter {
1158        #[primary_span]
1159        span: Span,
1160    },
1161
1162    #[label(mir_build_const_continue_not_const_const_block)]
1163    ConstBlock {
1164        #[primary_span]
1165        span: Span,
1166    },
1167
1168    #[label(mir_build_const_continue_not_const_const_other)]
1169    Other {
1170        #[primary_span]
1171        span: Span,
1172    },
1173}
1174
1175#[derive(Diagnostic)]
1176#[diag(mir_build_const_continue_bad_const)]
1177pub(crate) struct ConstContinueBadConst {
1178    #[primary_span]
1179    #[label]
1180    pub span: Span,
1181}
1182
1183#[derive(Diagnostic)]
1184#[diag(mir_build_const_continue_missing_label_or_value)]
1185pub(crate) struct ConstContinueMissingLabelOrValue {
1186    #[primary_span]
1187    pub span: Span,
1188}
1189
1190#[derive(Diagnostic)]
1191#[diag(mir_build_const_continue_unknown_jump_target)]
1192pub(crate) struct ConstContinueUnknownJumpTarget {
1193    #[primary_span]
1194    pub span: Span,
1195}
rustc_mir_build/errors.rs

rustc_mir_build/
errors.rs
