Expand description
Type inference-based diagnostics.
Modules§
- decl_
check 🔒 - Provides validators for names of declarations.
- expr 🔒
- Various diagnostics for expressions that are collected together in one pass through the body using inference results: mismatched arg counts, missing fields, etc.
- match_
check 🔒 - Validation of matches.
- unsafe_
check 🔒 - Provides validations for unsafe code. Currently checks if unsafe functions are missing unsafe blocks.