charon_lib::transform

Module index_to_function_calls

source
Expand description

Desugar array/slice index operations to function calls.

Structs§

  • IndexVisitor 🔒
    We replace some place constructors with function calls. To do that, we explore all the places in a body and deconstruct a given place access into intermediate assignments.
  • Transform