1 use rustc_errors::{fluent, ErrorGuaranteed, Handler, IntoDiagnostic};
2 use rustc_macros::Diagnostic;
3 use rustc_middle::ty::{PolyTraitRef, Ty, Unevaluated};
4 use rustc_session::Limit;
5 use rustc_span::{Span, Symbol};
8 #[diag(trait_selection::dump_vtable_entries)]
9 pub struct DumpVTableEntries<'a> {
12 pub trait_ref: PolyTraitRef<'a>,
17 #[diag(trait_selection::unable_to_construct_constant_value)]
18 pub struct UnableToConstructConstantValue<'a> {
21 pub unevaluated: Unevaluated<'a>,
26 #[diag(trait_selection::auto_deref_reached_recursion_limit, code = "E0055")]
27 pub struct AutoDerefReachedRecursionLimit<'a> {
32 pub suggested_limit: Limit,
33 pub crate_name: Symbol,
37 #[diag(trait_selection::empty_on_clause_in_rustc_on_unimplemented, code = "E0232")]
38 pub struct EmptyOnClauseInOnUnimplemented {
45 #[diag(trait_selection::invalid_on_clause_in_rustc_on_unimplemented, code = "E0232")]
46 pub struct InvalidOnClauseInOnUnimplemented {
53 #[diag(trait_selection::no_value_in_rustc_on_unimplemented, code = "E0232")]
55 pub struct NoValueInOnUnimplemented {
61 pub struct NegativePositiveConflict<'a> {
63 pub trait_desc: &'a str,
64 pub self_desc: &'a Option<String>,
65 pub negative_impl_span: Result<Span, Symbol>,
66 pub positive_impl_span: Result<Span, Symbol>,
69 impl IntoDiagnostic<'_> for NegativePositiveConflict<'_> {
73 ) -> rustc_errors::DiagnosticBuilder<'_, ErrorGuaranteed> {
74 let mut diag = handler.struct_err(fluent::trait_selection::negative_positive_conflict);
75 diag.set_arg("trait_desc", self.trait_desc);
78 self.self_desc.clone().map_or_else(|| String::from("none"), |ty| ty),
80 diag.set_span(self.impl_span);
81 diag.code(rustc_errors::error_code!(E0751));
82 match self.negative_impl_span {
84 diag.span_label(span, fluent::trait_selection::negative_implementation_here);
87 diag.note(fluent::trait_selection::negative_implementation_in_crate);
88 diag.set_arg("negative_impl_cname", cname.to_string());
91 match self.positive_impl_span {
93 diag.span_label(span, fluent::trait_selection::positive_implementation_here);
96 diag.note(fluent::trait_selection::positive_implementation_in_crate);
97 diag.set_arg("positive_impl_cname", cname.to_string());