| //! Type inference-based diagnostics. | |
| mod decl_check; | |
| mod expr; | |
| mod match_check; | |
| mod unsafe_check; | |
| pub use crate::diagnostics::{ | |
| decl_check::{incorrect_case, CaseType, IncorrectCase}, | |
| expr::{ | |
| record_literal_missing_fields, record_pattern_missing_fields, BodyValidationDiagnostic, | |
| }, | |
| unsafe_check::{missing_unsafe, unsafe_expressions, UnsafeExpr}, | |
| }; |