f6d37a25a9
setup typos check in CI This allows to check typos in CI, currently for compiler only (to reduce commit size with fixes). With current setup, exclude list is quite short, so it worth trying? Also includes commits with actual typo fixes. MCP: https://github.com/rust-lang/compiler-team/issues/817 typos check currently turned for: * ./compiler * ./library * ./src/bootstrap * ./src/librustdoc After merging, PRs which enables checks for other crates (tools) can be implemented too. Found typos will **not break** other jobs immediately: (tests, building compiler for perf run). Job will be marked as red on completion in ~ 20 secs, so you will not forget to fix it whenever you want, before merging pr. Check typos: `python x.py test tidy --extra-checks=spellcheck` Apply typo fixes: `python x.py test tidy --extra-checks=spellcheck:fix` (in case if there only 1 suggestion of each typo) Current fail in this pr is expected and shows how typo errors emitted. Commit with error will be removed after r+.
1244 lines
33 KiB
Rust
1244 lines
33 KiB
Rust
use rustc_errors::codes::*;
|
|
use rustc_errors::{Applicability, ElidedLifetimeInPathSubdiag, MultiSpan};
|
|
use rustc_macros::{Diagnostic, Subdiagnostic};
|
|
use rustc_span::{Ident, Span, Symbol};
|
|
|
|
use crate::Res;
|
|
use crate::late::PatternSource;
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_generic_params_from_outer_item, code = E0401)]
|
|
pub(crate) struct GenericParamsFromOuterItem {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) label: Option<GenericParamsFromOuterItemLabel>,
|
|
#[label(resolve_refer_to_type_directly)]
|
|
pub(crate) refer_to_type_directly: Option<Span>,
|
|
#[subdiagnostic]
|
|
pub(crate) sugg: Option<GenericParamsFromOuterItemSugg>,
|
|
#[subdiagnostic]
|
|
pub(crate) static_or_const: Option<GenericParamsFromOuterItemStaticOrConst>,
|
|
pub(crate) is_self: bool,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum GenericParamsFromOuterItemStaticOrConst {
|
|
#[note(resolve_generic_params_from_outer_item_static)]
|
|
Static,
|
|
#[note(resolve_generic_params_from_outer_item_const)]
|
|
Const,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum GenericParamsFromOuterItemLabel {
|
|
#[label(resolve_generic_params_from_outer_item_self_ty_param)]
|
|
SelfTyParam(#[primary_span] Span),
|
|
#[label(resolve_generic_params_from_outer_item_self_ty_alias)]
|
|
SelfTyAlias(#[primary_span] Span),
|
|
#[label(resolve_generic_params_from_outer_item_ty_param)]
|
|
TyParam(#[primary_span] Span),
|
|
#[label(resolve_generic_params_from_outer_item_const_param)]
|
|
ConstParam(#[primary_span] Span),
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(resolve_suggestion, code = "{snippet}", applicability = "maybe-incorrect")]
|
|
pub(crate) struct GenericParamsFromOuterItemSugg {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) snippet: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_name_is_already_used_as_generic_parameter, code = E0403)]
|
|
pub(crate) struct NameAlreadyUsedInParameterList {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
#[label(resolve_first_use_of_name)]
|
|
pub(crate) first_use_span: Span,
|
|
pub(crate) name: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_method_not_member_of_trait, code = E0407)]
|
|
pub(crate) struct MethodNotMemberOfTrait {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) method: Ident,
|
|
pub(crate) trait_: String,
|
|
#[subdiagnostic]
|
|
pub(crate) sub: Option<AssociatedFnWithSimilarNameExists>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_associated_fn_with_similar_name_exists,
|
|
code = "{candidate}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct AssociatedFnWithSimilarNameExists {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) candidate: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_type_not_member_of_trait, code = E0437)]
|
|
pub(crate) struct TypeNotMemberOfTrait {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) type_: Ident,
|
|
pub(crate) trait_: String,
|
|
#[subdiagnostic]
|
|
pub(crate) sub: Option<AssociatedTypeWithSimilarNameExists>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_associated_type_with_similar_name_exists,
|
|
code = "{candidate}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct AssociatedTypeWithSimilarNameExists {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) candidate: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_const_not_member_of_trait, code = E0438)]
|
|
pub(crate) struct ConstNotMemberOfTrait {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) const_: Ident,
|
|
pub(crate) trait_: String,
|
|
#[subdiagnostic]
|
|
pub(crate) sub: Option<AssociatedConstWithSimilarNameExists>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_associated_const_with_similar_name_exists,
|
|
code = "{candidate}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct AssociatedConstWithSimilarNameExists {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) candidate: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_variable_bound_with_different_mode, code = E0409)]
|
|
pub(crate) struct VariableBoundWithDifferentMode {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
#[label(resolve_first_binding_span)]
|
|
pub(crate) first_binding_span: Span,
|
|
pub(crate) variable_name: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_ident_bound_more_than_once_in_parameter_list, code = E0415)]
|
|
pub(crate) struct IdentifierBoundMoreThanOnceInParameterList {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) identifier: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_ident_bound_more_than_once_in_same_pattern, code = E0416)]
|
|
pub(crate) struct IdentifierBoundMoreThanOnceInSamePattern {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) identifier: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_undeclared_label, code = E0426)]
|
|
pub(crate) struct UndeclaredLabel {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_reachable: Option<LabelWithSimilarNameReachable>,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_reachable_suggestion: Option<TryUsingSimilarlyNamedLabel>,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_unreachable: Option<UnreachableLabelWithSimilarNameExists>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_label_with_similar_name_reachable)]
|
|
pub(crate) struct LabelWithSimilarNameReachable(#[primary_span] pub(crate) Span);
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_try_using_similarly_named_label,
|
|
code = "{ident_name}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct TryUsingSimilarlyNamedLabel {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident_name: Symbol,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_unreachable_label_with_similar_name_exists)]
|
|
pub(crate) struct UnreachableLabelWithSimilarNameExists {
|
|
#[primary_span]
|
|
pub(crate) ident_span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_self_import_can_only_appear_once_in_the_list, code = E0430)]
|
|
pub(crate) struct SelfImportCanOnlyAppearOnceInTheList {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_self_import_only_in_import_list_with_non_empty_prefix, code = E0431)]
|
|
pub(crate) struct SelfImportOnlyInImportListWithNonEmptyPrefix {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_capture_dynamic_environment_in_fn_item, code = E0434)]
|
|
#[help]
|
|
pub(crate) struct CannotCaptureDynamicEnvironmentInFnItem {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_attempt_to_use_non_constant_value_in_constant, code = E0435)]
|
|
pub(crate) struct AttemptToUseNonConstantValueInConstant<'a> {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) with: Option<AttemptToUseNonConstantValueInConstantWithSuggestion<'a>>,
|
|
#[subdiagnostic]
|
|
pub(crate) with_label: Option<AttemptToUseNonConstantValueInConstantLabelWithSuggestion>,
|
|
#[subdiagnostic]
|
|
pub(crate) without: Option<AttemptToUseNonConstantValueInConstantWithoutSuggestion<'a>>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[multipart_suggestion(
|
|
resolve_attempt_to_use_non_constant_value_in_constant_with_suggestion,
|
|
style = "verbose",
|
|
applicability = "has-placeholders"
|
|
)]
|
|
pub(crate) struct AttemptToUseNonConstantValueInConstantWithSuggestion<'a> {
|
|
// #[primary_span]
|
|
#[suggestion_part(code = "{suggestion} ")]
|
|
pub(crate) span: Span,
|
|
pub(crate) suggestion: &'a str,
|
|
#[suggestion_part(code = ": /* Type */")]
|
|
pub(crate) type_span: Option<Span>,
|
|
pub(crate) current: &'a str,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_attempt_to_use_non_constant_value_in_constant_label_with_suggestion)]
|
|
pub(crate) struct AttemptToUseNonConstantValueInConstantLabelWithSuggestion {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_attempt_to_use_non_constant_value_in_constant_without_suggestion)]
|
|
pub(crate) struct AttemptToUseNonConstantValueInConstantWithoutSuggestion<'a> {
|
|
#[primary_span]
|
|
pub(crate) ident_span: Span,
|
|
pub(crate) suggestion: &'a str,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_self_imports_only_allowed_within, code = E0429)]
|
|
pub(crate) struct SelfImportsOnlyAllowedWithin {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) suggestion: Option<SelfImportsOnlyAllowedWithinSuggestion>,
|
|
#[subdiagnostic]
|
|
pub(crate) mpart_suggestion: Option<SelfImportsOnlyAllowedWithinMultipartSuggestion>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_self_imports_only_allowed_within_suggestion,
|
|
code = "",
|
|
applicability = "machine-applicable"
|
|
)]
|
|
pub(crate) struct SelfImportsOnlyAllowedWithinSuggestion {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[multipart_suggestion(
|
|
resolve_self_imports_only_allowed_within_multipart_suggestion,
|
|
applicability = "machine-applicable"
|
|
)]
|
|
pub(crate) struct SelfImportsOnlyAllowedWithinMultipartSuggestion {
|
|
#[suggestion_part(code = "{{")]
|
|
pub(crate) multipart_start: Span,
|
|
#[suggestion_part(code = "}}")]
|
|
pub(crate) multipart_end: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_binding_shadows_something_unacceptable, code = E0530)]
|
|
pub(crate) struct BindingShadowsSomethingUnacceptable<'a> {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) shadowing_binding: PatternSource,
|
|
pub(crate) shadowed_binding: Res,
|
|
pub(crate) article: &'a str,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_suggestion: Option<BindingShadowsSomethingUnacceptableSuggestion>,
|
|
#[label(resolve_label_shadowed_binding)]
|
|
pub(crate) shadowed_binding_span: Span,
|
|
pub(crate) participle: &'a str,
|
|
pub(crate) name: Symbol,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_binding_shadows_something_unacceptable_suggestion,
|
|
code = "{name}(..)",
|
|
applicability = "unspecified"
|
|
)]
|
|
pub(crate) struct BindingShadowsSomethingUnacceptableSuggestion {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_forward_declared_generic_param, code = E0128)]
|
|
pub(crate) struct ForwardDeclaredGenericParam {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) param: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_forward_declared_generic_in_const_param_ty)]
|
|
pub(crate) struct ForwardDeclaredGenericInConstParamTy {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) param: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_param_in_ty_of_const_param, code = E0770)]
|
|
pub(crate) struct ParamInTyOfConstParam {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_self_in_generic_param_default, code = E0735)]
|
|
pub(crate) struct SelfInGenericParamDefault {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_self_in_const_generic_ty)]
|
|
pub(crate) struct SelfInConstGenericTy {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_param_in_non_trivial_anon_const)]
|
|
pub(crate) struct ParamInNonTrivialAnonConst {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
#[subdiagnostic]
|
|
pub(crate) param_kind: ParamKindInNonTrivialAnonConst,
|
|
#[subdiagnostic]
|
|
pub(crate) help: Option<ParamInNonTrivialAnonConstHelp>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[help(resolve_param_in_non_trivial_anon_const_help)]
|
|
pub(crate) struct ParamInNonTrivialAnonConstHelp;
|
|
|
|
#[derive(Debug)]
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum ParamKindInNonTrivialAnonConst {
|
|
#[note(resolve_type_param_in_non_trivial_anon_const)]
|
|
Type,
|
|
#[help(resolve_const_param_in_non_trivial_anon_const)]
|
|
Const { name: Symbol },
|
|
#[note(resolve_lifetime_param_in_non_trivial_anon_const)]
|
|
Lifetime,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_unreachable_label, code = E0767)]
|
|
#[note]
|
|
pub(crate) struct UnreachableLabel {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
#[label(resolve_label_definition_span)]
|
|
pub(crate) definition_span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_suggestion: Option<UnreachableLabelSubSuggestion>,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_suggestion_label: Option<UnreachableLabelSubLabel>,
|
|
#[subdiagnostic]
|
|
pub(crate) sub_unreachable_label: Option<UnreachableLabelSubLabelUnreachable>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_unreachable_label_suggestion_use_similarly_named,
|
|
code = "{ident_name}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct UnreachableLabelSubSuggestion {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident_name: Symbol,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_unreachable_label_similar_name_reachable)]
|
|
pub(crate) struct UnreachableLabelSubLabel {
|
|
#[primary_span]
|
|
pub(crate) ident_span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_unreachable_label_similar_name_unreachable)]
|
|
pub(crate) struct UnreachableLabelSubLabelUnreachable {
|
|
#[primary_span]
|
|
pub(crate) ident_span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_invalid_asm_sym)]
|
|
#[help]
|
|
pub(crate) struct InvalidAsmSym {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_lowercase_self)]
|
|
pub(crate) struct LowercaseSelf {
|
|
#[primary_span]
|
|
#[suggestion(code = "Self", applicability = "maybe-incorrect", style = "short")]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Debug)]
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_binding_in_never_pattern)]
|
|
pub(crate) struct BindingInNeverPattern {
|
|
#[primary_span]
|
|
#[suggestion(code = "_", applicability = "machine-applicable", style = "short")]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_trait_impl_duplicate, code = E0201)]
|
|
pub(crate) struct TraitImplDuplicate {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
#[label(resolve_old_span_label)]
|
|
pub(crate) old_span: Span,
|
|
#[label(resolve_trait_item_span)]
|
|
pub(crate) trait_item_span: Span,
|
|
pub(crate) name: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_relative_2018)]
|
|
pub(crate) struct Relative2018 {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[suggestion(code = "crate::{path_str}", applicability = "maybe-incorrect")]
|
|
pub(crate) path_span: Span,
|
|
pub(crate) path_str: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_ancestor_only, code = E0742)]
|
|
pub(crate) struct AncestorOnly(#[primary_span] pub(crate) Span);
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_expected_module_found, code = E0577)]
|
|
pub(crate) struct ExpectedModuleFound {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) res: Res,
|
|
pub(crate) path_str: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_indeterminate, code = E0578)]
|
|
pub(crate) struct Indeterminate(#[primary_span] pub(crate) Span);
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_tool_module_imported)]
|
|
pub(crate) struct ToolModuleImported {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[note]
|
|
pub(crate) import: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_module_only)]
|
|
pub(crate) struct ModuleOnly(#[primary_span] pub(crate) Span);
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_macro_expected_found)]
|
|
pub(crate) struct MacroExpectedFound<'a> {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) found: &'a str,
|
|
pub(crate) article: &'static str,
|
|
pub(crate) expected: &'a str,
|
|
pub(crate) macro_path: &'a str,
|
|
#[subdiagnostic]
|
|
pub(crate) remove_surrounding_derive: Option<RemoveSurroundingDerive>,
|
|
#[subdiagnostic]
|
|
pub(crate) add_as_non_derive: Option<AddAsNonDerive<'a>>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[help(resolve_remove_surrounding_derive)]
|
|
pub(crate) struct RemoveSurroundingDerive {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[help(resolve_add_as_non_derive)]
|
|
pub(crate) struct AddAsNonDerive<'a> {
|
|
pub(crate) macro_path: &'a str,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_proc_macro_same_crate)]
|
|
pub(crate) struct ProcMacroSameCrate {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[help]
|
|
pub(crate) is_test: bool,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_imported_crate)]
|
|
pub(crate) struct CrateImported {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_macro_use_extern_crate_self)]
|
|
pub(crate) struct MacroUseExternCrateSelf {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_accessible_unsure)]
|
|
#[note]
|
|
pub(crate) struct CfgAccessibleUnsure {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Debug)]
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_param_in_enum_discriminant)]
|
|
pub(crate) struct ParamInEnumDiscriminant {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
#[subdiagnostic]
|
|
pub(crate) param_kind: ParamKindInEnumDiscriminant,
|
|
}
|
|
|
|
#[derive(Debug)]
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum ParamKindInEnumDiscriminant {
|
|
#[note(resolve_type_param_in_enum_discriminant)]
|
|
Type,
|
|
#[note(resolve_const_param_in_enum_discriminant)]
|
|
Const,
|
|
#[note(resolve_lifetime_param_in_enum_discriminant)]
|
|
Lifetime,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_change_import_binding)]
|
|
pub(crate) struct ChangeImportBinding {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_change_import_binding,
|
|
code = "{suggestion}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct ChangeImportBindingSuggestion {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) suggestion: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_imports_cannot_refer_to)]
|
|
pub(crate) struct ImportsCannotReferTo<'a> {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) what: &'a str,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_find_ident_in_this_scope)]
|
|
pub(crate) struct CannotFindIdentInThisScope<'a> {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) expected: &'a str,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_explicit_unsafe_traits)]
|
|
pub(crate) struct ExplicitUnsafeTraits {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_macro_defined_later)]
|
|
pub(crate) struct MacroDefinedLater {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_consider_move_macro_position)]
|
|
pub(crate) struct MacroSuggMovePosition {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum MacroRulesNot {
|
|
#[label(resolve_macro_cannot_use_as_attr)]
|
|
Attr {
|
|
#[primary_span]
|
|
span: Span,
|
|
ident: Ident,
|
|
},
|
|
#[label(resolve_macro_cannot_use_as_derive)]
|
|
Derive {
|
|
#[primary_span]
|
|
span: Span,
|
|
ident: Ident,
|
|
},
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_missing_macro_rules_name)]
|
|
pub(crate) struct MaybeMissingMacroRulesName {
|
|
#[primary_span]
|
|
pub(crate) spans: MultiSpan,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[help(resolve_added_macro_use)]
|
|
pub(crate) struct AddedMacroUse;
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_consider_adding_a_derive,
|
|
code = "{suggestion}",
|
|
applicability = "maybe-incorrect"
|
|
)]
|
|
pub(crate) struct ConsiderAddingADerive {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) suggestion: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_determine_import_resolution)]
|
|
pub(crate) struct CannotDetermineImportResolution {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_determine_macro_resolution)]
|
|
#[note]
|
|
pub(crate) struct CannotDetermineMacroResolution {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) kind: &'static str,
|
|
pub(crate) path: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_be_reexported_private, code = E0364)]
|
|
pub(crate) struct CannotBeReexportedPrivate {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_be_reexported_crate_public, code = E0364)]
|
|
pub(crate) struct CannotBeReexportedCratePublic {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_be_reexported_private, code = E0365)]
|
|
#[note(resolve_consider_declaring_with_pub)]
|
|
pub(crate) struct CannotBeReexportedPrivateNS {
|
|
#[primary_span]
|
|
#[label(resolve_reexport_of_private)]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_be_reexported_crate_public, code = E0365)]
|
|
#[note(resolve_consider_declaring_with_pub)]
|
|
pub(crate) struct CannotBeReexportedCratePublicNS {
|
|
#[primary_span]
|
|
#[label(resolve_reexport_of_crate_public)]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[help(resolve_consider_adding_macro_export)]
|
|
pub(crate) struct ConsiderAddingMacroExport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_consider_marking_as_pub)]
|
|
pub(crate) struct ConsiderMarkingAsPub {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_glob_import_possible_crates)]
|
|
pub(crate) struct CannotGlobImportAllCrates {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_unexpected_res_change_ty_to_const_param_sugg,
|
|
code = "const ",
|
|
style = "verbose"
|
|
)]
|
|
pub(crate) struct UnexpectedResChangeTyToConstParamSugg {
|
|
#[primary_span]
|
|
pub span: Span,
|
|
#[applicability]
|
|
pub applicability: Applicability,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_unexpected_res_use_at_op_in_slice_pat_with_range_sugg,
|
|
code = "{snippet}",
|
|
applicability = "maybe-incorrect",
|
|
style = "verbose"
|
|
)]
|
|
pub(crate) struct UnexpectedResUseAtOpInSlicePatWithRangeSugg {
|
|
#[primary_span]
|
|
pub span: Span,
|
|
pub ident: Ident,
|
|
pub snippet: String,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_extern_crate_loading_macro_not_at_crate_root, code = E0468)]
|
|
pub(crate) struct ExternCrateLoadingMacroNotAtCrateRoot {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_bad_macro_import, code = E0466)]
|
|
pub(crate) struct BadMacroImport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_extern_crate_self_requires_renaming)]
|
|
pub(crate) struct ExternCrateSelfRequiresRenaming {
|
|
#[primary_span]
|
|
#[suggestion(code = "extern crate self as name;", applicability = "has-placeholders")]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_macro_use_name_already_in_use)]
|
|
#[note]
|
|
pub(crate) struct MacroUseNameAlreadyInUse {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_imported_macro_not_found, code = E0469)]
|
|
pub(crate) struct ImportedMacroNotFound {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_macro_extern_deprecated)]
|
|
pub(crate) struct MacroExternDeprecated {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[help]
|
|
pub inner_attribute: bool,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_arguments_macro_use_not_allowed)]
|
|
pub(crate) struct ArgumentsMacroUseNotAllowed {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_unnamed_crate_root_import)]
|
|
pub(crate) struct UnnamedCrateRootImport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_macro_expanded_extern_crate_cannot_shadow_extern_arguments)]
|
|
pub(crate) struct MacroExpandedExternCrateCannotShadowExternArguments {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_elided_anonymous_lifetime_report_error, code = E0637)]
|
|
pub(crate) struct ElidedAnonymousLifetimeReportError {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) suggestion: Option<ElidedAnonymousLifetimeReportErrorSuggestion>,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_lending_iterator_report_error)]
|
|
pub(crate) struct LendingIteratorReportError {
|
|
#[primary_span]
|
|
pub(crate) lifetime: Span,
|
|
#[note]
|
|
pub(crate) ty: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_anonymous_lifetime_non_gat_report_error)]
|
|
pub(crate) struct AnonymousLifetimeNonGatReportError {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) lifetime: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[multipart_suggestion(
|
|
resolve_elided_anonymous_lifetime_report_error_suggestion,
|
|
applicability = "machine-applicable"
|
|
)]
|
|
pub(crate) struct ElidedAnonymousLifetimeReportErrorSuggestion {
|
|
#[suggestion_part(code = "for<'a> ")]
|
|
pub(crate) lo: Span,
|
|
#[suggestion_part(code = "'a ")]
|
|
pub(crate) hi: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_explicit_anonymous_lifetime_report_error, code = E0637)]
|
|
pub(crate) struct ExplicitAnonymousLifetimeReportError {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_implicit_elided_lifetimes_not_allowed_here, code = E0726)]
|
|
pub(crate) struct ImplicitElidedLifetimeNotAllowedHere {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
#[subdiagnostic]
|
|
pub(crate) subdiag: ElidedLifetimeInPathSubdiag,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_underscore_lifetime_is_reserved, code = E0637)]
|
|
#[help]
|
|
pub(crate) struct UnderscoreLifetimeIsReserved {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_static_lifetime_is_reserved, code = E0262)]
|
|
pub(crate) struct StaticLifetimeIsReserved {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) lifetime: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_variable_is_not_bound_in_all_patterns, code = E0408)]
|
|
pub(crate) struct VariableIsNotBoundInAllPatterns {
|
|
#[primary_span]
|
|
pub(crate) multispan: MultiSpan,
|
|
pub(crate) name: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic, Debug, Clone)]
|
|
#[label(resolve_pattern_doesnt_bind_name)]
|
|
pub(crate) struct PatternDoesntBindName {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic, Debug, Clone)]
|
|
#[label(resolve_variable_not_in_all_patterns)]
|
|
pub(crate) struct VariableNotInAllPatterns {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_name_defined_multiple_time)]
|
|
#[note]
|
|
pub(crate) struct NameDefinedMultipleTime {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Symbol,
|
|
pub(crate) descr: &'static str,
|
|
pub(crate) container: &'static str,
|
|
#[subdiagnostic]
|
|
pub(crate) label: NameDefinedMultipleTimeLabel,
|
|
#[subdiagnostic]
|
|
pub(crate) old_binding_label: Option<NameDefinedMultipleTimeOldBindingLabel>,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum NameDefinedMultipleTimeLabel {
|
|
#[label(resolve_name_defined_multiple_time_reimported)]
|
|
Reimported {
|
|
#[primary_span]
|
|
span: Span,
|
|
},
|
|
#[label(resolve_name_defined_multiple_time_redefined)]
|
|
Redefined {
|
|
#[primary_span]
|
|
span: Span,
|
|
},
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum NameDefinedMultipleTimeOldBindingLabel {
|
|
#[label(resolve_name_defined_multiple_time_old_binding_import)]
|
|
Import {
|
|
#[primary_span]
|
|
span: Span,
|
|
old_kind: &'static str,
|
|
},
|
|
#[label(resolve_name_defined_multiple_time_old_binding_definition)]
|
|
Definition {
|
|
#[primary_span]
|
|
span: Span,
|
|
old_kind: &'static str,
|
|
},
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_is_private, code = E0603)]
|
|
pub(crate) struct IsPrivate<'a> {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident_descr: &'a str,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_generic_arguments_in_macro_path)]
|
|
pub(crate) struct GenericArgumentsInMacroPath {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_attributes_starting_with_rustc_are_reserved)]
|
|
pub(crate) struct AttributesStartingWithRustcAreReserved {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_use_through_an_import)]
|
|
pub(crate) struct CannotUseThroughAnImport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) article: &'static str,
|
|
pub(crate) descr: &'static str,
|
|
#[note]
|
|
pub(crate) binding_span: Option<Span>,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_name_reserved_in_attribute_namespace)]
|
|
pub(crate) struct NameReservedInAttributeNamespace {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_cannot_find_builtin_macro_with_name)]
|
|
pub(crate) struct CannotFindBuiltinMacroWithName {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) ident: Ident,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_tool_was_already_registered)]
|
|
pub(crate) struct ToolWasAlreadyRegistered {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) tool: Ident,
|
|
#[label]
|
|
pub(crate) old_ident_span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_tool_only_accepts_identifiers)]
|
|
pub(crate) struct ToolOnlyAcceptsIdentifiers {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) tool: Symbol,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum DefinedHere {
|
|
#[label(resolve_similarly_named_defined_here)]
|
|
SimilarlyNamed {
|
|
#[primary_span]
|
|
span: Span,
|
|
candidate_descr: &'static str,
|
|
candidate: Symbol,
|
|
},
|
|
#[label(resolve_single_item_defined_here)]
|
|
SingleItem {
|
|
#[primary_span]
|
|
span: Span,
|
|
candidate_descr: &'static str,
|
|
candidate: Symbol,
|
|
},
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_outer_ident_is_not_publicly_reexported)]
|
|
pub(crate) struct OuterIdentIsNotPubliclyReexported {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) outer_ident_descr: &'static str,
|
|
pub(crate) outer_ident: Ident,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[label(resolve_constructor_private_if_any_field_private)]
|
|
pub(crate) struct ConstructorPrivateIfAnyFieldPrivate {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[multipart_suggestion(
|
|
resolve_consider_making_the_field_public,
|
|
applicability = "maybe-incorrect",
|
|
style = "verbose"
|
|
)]
|
|
pub(crate) struct ConsiderMakingTheFieldPublic {
|
|
#[suggestion_part(code = "pub ")]
|
|
pub(crate) spans: Vec<Span>,
|
|
pub(crate) number_of_fields: usize,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
pub(crate) enum ImportIdent {
|
|
#[suggestion(
|
|
resolve_suggestion_import_ident_through_reexport,
|
|
code = "{path}",
|
|
applicability = "machine-applicable",
|
|
style = "verbose"
|
|
)]
|
|
ThroughReExport {
|
|
#[primary_span]
|
|
span: Span,
|
|
ident: Ident,
|
|
path: String,
|
|
},
|
|
#[suggestion(
|
|
resolve_suggestion_import_ident_directly,
|
|
code = "{path}",
|
|
applicability = "machine-applicable",
|
|
style = "verbose"
|
|
)]
|
|
Directly {
|
|
#[primary_span]
|
|
span: Span,
|
|
ident: Ident,
|
|
path: String,
|
|
},
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_note_and_refers_to_the_item_defined_here)]
|
|
pub(crate) struct NoteAndRefersToTheItemDefinedHere<'a> {
|
|
#[primary_span]
|
|
pub(crate) span: MultiSpan,
|
|
pub(crate) binding_descr: &'a str,
|
|
pub(crate) binding_name: Ident,
|
|
pub(crate) first: bool,
|
|
pub(crate) dots: bool,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(resolve_remove_unnecessary_import, code = "", applicability = "maybe-incorrect")]
|
|
pub(crate) struct RemoveUnnecessaryImport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[suggestion(
|
|
resolve_remove_unnecessary_import,
|
|
code = "",
|
|
applicability = "maybe-incorrect",
|
|
style = "tool-only"
|
|
)]
|
|
pub(crate) struct ToolOnlyRemoveUnnecessaryImport {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_ident_imported_here_but_it_is_desc)]
|
|
pub(crate) struct IdentImporterHereButItIsDesc<'a> {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
pub(crate) imported_ident: Ident,
|
|
pub(crate) imported_ident_desc: &'a str,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_ident_in_scope_but_it_is_desc)]
|
|
pub(crate) struct IdentInScopeButItIsDesc<'a> {
|
|
pub(crate) imported_ident: Ident,
|
|
pub(crate) imported_ident_desc: &'a str,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_found_an_item_configured_out)]
|
|
pub(crate) struct FoundItemConfigureOut {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_item_was_behind_feature)]
|
|
pub(crate) struct ItemWasBehindFeature {
|
|
pub(crate) feature: Symbol,
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Subdiagnostic)]
|
|
#[note(resolve_item_was_cfg_out)]
|
|
pub(crate) struct ItemWasCfgOut {
|
|
#[primary_span]
|
|
pub(crate) span: Span,
|
|
}
|
|
|
|
#[derive(Diagnostic)]
|
|
#[diag(resolve_trait_impl_mismatch)]
|
|
pub(crate) struct TraitImplMismatch {
|
|
#[primary_span]
|
|
#[label]
|
|
pub(crate) span: Span,
|
|
pub(crate) name: Ident,
|
|
pub(crate) kind: &'static str,
|
|
pub(crate) trait_path: String,
|
|
#[label(resolve_trait_impl_mismatch_label_item)]
|
|
pub(crate) trait_item_span: Span,
|
|
}
|