Module translate_bodies

Translate functions from the rust compiler MIR to our internal representation. Our internal representation is very close to MIR, but is more convenient for us to handle, and easier to maintain - rustc’s representation can evolve independently.

Structs

BodyTransCtx 🔒

A translation context for function bodies.

Functions

translate_borrow_kind 🔒

Translate a BorrowKind

translate_field_id 🔒

translate_variant_id 🔒