spade_hir_lowering

Module linear_check

Source

Modules§

linear_state 🔒

Structs§

LinearCtx

Functions§

check_linear_types
Checks for linear type errors in a function-like. Reports errors if an linear type is not used exactly once
visit_expression 🔒
visit_statement