1 use rustc_macros::Diagnostic; 2 use rustc_span::{Span, Symbol}; 3 4 #[derive(Diagnostic)] 5 #[diag(mir_dataflow_path_must_end_in_filename)] 6 pub(crate) struct PathMustEndInFilename { 7 #[primary_span] 8 pub span: Span, 9 } 10 11 #[derive(Diagnostic)] 12 #[diag(mir_dataflow_unknown_formatter)] 13 pub(crate) struct UnknownFormatter { 14 #[primary_span] 15 pub span: Span, 16 } 17 18 #[derive(Diagnostic)] 19 #[diag(mir_dataflow_duplicate_values_for)] 20 pub(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)] 28 pub(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)] 36 pub(crate) struct StopAfterDataFlowEndedCompilation; 37 38 #[derive(Diagnostic)] 39 #[diag(mir_dataflow_peek_must_be_place_or_ref_place)] 40 pub(crate) struct PeekMustBePlaceOrRefPlace { 41 #[primary_span] 42 pub span: Span, 43 } 44 45 #[derive(Diagnostic)] 46 #[diag(mir_dataflow_peek_must_be_not_temporary)] 47 pub(crate) struct PeekMustBeNotTemporary { 48 #[primary_span] 49 pub span: Span, 50 } 51 52 #[derive(Diagnostic)] 53 #[diag(mir_dataflow_peek_bit_not_set)] 54 pub(crate) struct PeekBitNotSet { 55 #[primary_span] 56 pub span: Span, 57 } 58 59 #[derive(Diagnostic)] 60 #[diag(mir_dataflow_peek_argument_not_a_local)] 61 pub(crate) struct PeekArgumentNotALocal { 62 #[primary_span] 63 pub span: Span, 64 } 65 66 #[derive(Diagnostic)] 67 #[diag(mir_dataflow_peek_argument_untracked)] 68 pub(crate) struct PeekArgumentUntracked { 69 #[primary_span] 70 pub span: Span, 71 } 72