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_operations

unsafe_operations_for_body