rustc_smir::rustc_smir

Module builder

source
Expand description

Logic required to produce a monomorphic stable body.

We first retrieve and monomorphize the rustc body representation, i.e., we generate a monomorphic body using internal representation. After that, we convert the internal representation into a stable one.

Structsยง

  • BodyBuilder ๐Ÿ”’
    Builds a monomorphic body for a given instance.