rustc_mir_dataflow/
errors.rs

1use rustc_macros::Diagnostic;
2use rustc_span::{Span, Symbol};
3
4#[derive(Diagnostic)]
5#[diag(mir_dataflow_path_must_end_in_filename)]
6pub(crate) struct PathMustEndInFilename {
7    #[primary_span]
8    pub span: Span,
9}
10
11#[derive(Diagnostic)]
12#[diag(mir_dataflow_unknown_formatter)]
13pub(crate) struct UnknownFormatter {
14    #[primary_span]
15    pub span: Span,
16}
17
18#[derive(Diagnostic)]
19#[diag(mir_dataflow_duplicate_values_for)]
20pub(crate) struct DuplicateValuesFor {
21    #[primary_span]
22    pub span: Span,
23    pub name: Symbol,
24}
25
26#[derive(Diagnostic)]
27#[diag(mir_dataflow_requires_an_argument)]
28pub(crate) struct RequiresAnArgument {
29    #[primary_span]
30    pub span: Span,
31    pub name: Symbol,
32}
33
34#[derive(Diagnostic)]
35#[diag(mir_dataflow_stop_after_dataflow_ended_compilation)]
36pub(crate) struct StopAfterDataFlowEndedCompilation;
37
38#[derive(Diagnostic)]
39#[diag(mir_dataflow_peek_must_be_place_or_ref_place)]
40pub(crate) struct PeekMustBePlaceOrRefPlace {
41    #[primary_span]
42    pub span: Span,
43}
44
45#[derive(Diagnostic)]
46#[diag(mir_dataflow_peek_must_be_not_temporary)]
47pub(crate) struct PeekMustBeNotTemporary {
48    #[primary_span]
49    pub span: Span,
50}
51
52#[derive(Diagnostic)]
53#[diag(mir_dataflow_peek_bit_not_set)]
54pub(crate) struct PeekBitNotSet {
55    #[primary_span]
56    pub span: Span,
57}
58
59#[derive(Diagnostic)]
60#[diag(mir_dataflow_peek_argument_not_a_local)]
61pub(crate) struct PeekArgumentNotALocal {
62    #[primary_span]
63    pub span: Span,
64}
65
66#[derive(Diagnostic)]
67#[diag(mir_dataflow_peek_argument_untracked)]
68pub(crate) struct PeekArgumentUntracked {
69    #[primary_span]
70    pub span: Span,
71}