1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
//! This module provides error reporting functionality for the frontend. #![forbid(unused_must_use)] // disallow discarding errors #![warn( missing_docs, missing_debug_implementations, missing_copy_implementations, trivial_casts, trivial_numeric_casts, unsafe_code, unstable_features, unused_import_braces, unused_qualifications )] mod reporting; pub use reporting::*;