Module hir_ty::diagnostics

Type inference-based diagnostics.

Structs

• IncorrectCase
• UnsafeExpr

Enums

• BodyValidationDiagnostic
• CaseType

Functions

• incorrect_case
• missing_unsafe
  Returns (unsafe_exprs, fn_is_unsafe).
• record_literal_missing_fields
• record_pattern_missing_fields
• unsafe_expressions