hir_ty/
diagnostics.rs

1//! Type inference-based diagnostics.
2mod decl_check;
3mod expr;
4mod match_check;
5mod unsafe_check;
6
7pub use crate::diagnostics::{
8    decl_check::{CaseType, IncorrectCase, incorrect_case},
9    expr::{
10        BodyValidationDiagnostic, record_literal_missing_fields, record_pattern_missing_fields,
11    },
12    unsafe_check::{
13        InsideUnsafeBlock, UnsafetyReason, missing_unsafe, unsafe_operations,
14        unsafe_operations_for_body,
15    },
16};