Module diagnostics

Type inference-based diagnostics.

Structs

• IncorrectCase

Enums

• BodyValidationDiagnostic
• CaseType
• InsideUnsafeBlock
• UnsafetyReason

Functions

• incorrect_case
• missing_unsafe
• record_literal_missing_fields
• record_pattern_missing_fields
• unsafe_expressions