2021-01-02 18:45:11 +00:00
|
|
|
mod missing_cast_for_variadic_arg;
|
|
|
|
mod sized_unsized_cast;
|
|
|
|
mod wrong_number_of_generic_args;
|
|
|
|
|
|
|
|
pub use self::{
|
|
|
|
missing_cast_for_variadic_arg::*, sized_unsized_cast::*, wrong_number_of_generic_args::*,
|
|
|
|
};
|
|
|
|
|
2023-12-19 04:26:24 +00:00
|
|
|
use rustc_errors::{DiagnosticBuilder, DiagnosticId};
|
2020-03-11 11:49:08 +00:00
|
|
|
use rustc_session::Session;
|
2018-01-23 02:07:35 +00:00
|
|
|
|
|
|
|
pub trait StructuredDiagnostic<'tcx> {
|
|
|
|
fn session(&self) -> &Session;
|
|
|
|
|
|
|
|
fn code(&self) -> DiagnosticId;
|
|
|
|
|
2023-12-19 04:26:24 +00:00
|
|
|
fn diagnostic(&self) -> DiagnosticBuilder<'tcx> {
|
2021-01-02 18:45:11 +00:00
|
|
|
let err = self.diagnostic_common();
|
2018-01-23 02:07:35 +00:00
|
|
|
|
2021-01-02 18:45:11 +00:00
|
|
|
if self.session().teach(&self.code()) {
|
|
|
|
self.diagnostic_extended(err)
|
2018-01-23 02:07:35 +00:00
|
|
|
} else {
|
2021-01-02 18:45:11 +00:00
|
|
|
self.diagnostic_regular(err)
|
2018-01-23 02:07:35 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-12-19 04:26:24 +00:00
|
|
|
fn diagnostic_common(&self) -> DiagnosticBuilder<'tcx>;
|
2018-01-23 02:07:35 +00:00
|
|
|
|
2023-12-19 04:26:24 +00:00
|
|
|
fn diagnostic_regular(&self, err: DiagnosticBuilder<'tcx>) -> DiagnosticBuilder<'tcx> {
|
2021-01-02 18:45:11 +00:00
|
|
|
err
|
2018-01-23 02:07:35 +00:00
|
|
|
}
|
|
|
|
|
2023-12-19 04:26:24 +00:00
|
|
|
fn diagnostic_extended(&self, err: DiagnosticBuilder<'tcx>) -> DiagnosticBuilder<'tcx> {
|
2018-01-23 02:07:35 +00:00
|
|
|
err
|
|
|
|
}
|
|
|
|
}
|