1 //! Type inference-based diagnostics.
7 pub use crate::diagnostics::{
8 decl_check::{incorrect_case, IncorrectCase},
10 record_literal_missing_fields, record_pattern_missing_fields, BodyValidationDiagnostic,
12 unsafe_check::{missing_unsafe, unsafe_expressions, UnsafeExpr},