Module lower 

This module generates a polymorphic MIR from a hir body

Modules

as_place 🔒

MIR lowering for places

pattern_matching 🔒

MIR lowering for patterns

Macros

implementation_error 🔒

not_supported 🔒

Structs

DropScope 🔒

DropScopeToken 🔒

A token to ensuring that each drop scope is popped at most once, thanks to the compiler that checks moves.

LoopBlocks 🔒

MirLowerCtx 🔒

Enums

MirLowerError

Functions

cast_kind 🔒

convert_closure_capture_projections 🔒

lower_body_to_mir

Extracts params from body.params/body.self_param and the callable signature, then delegates to lower_to_mir_with_store.

lower_to_mir_with_store

Parameters

mir_body_cycle_result 🔒

mir_body_for_closure_cycle_result 🔒

mir_body_for_closure_query

mir_body_query

Type Aliases

Result 🔒