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.