Expand description
The detached-body mutation host (DetachedMut).
A pass that mints a fresh function builds it detached: a FunctionBody
with no registry identity yet (FunctionBody::detached). DetachedMut
is that body’s exclusive mutation surface while it is being built — a thin
wrapper exposing only body-local verbs (LocalValueId/LocalBlockId/
LocalInsnId in and out). Owner values stay composite (ValueId); minted
values are local, so mixing the two is a type error — there is no qualifier in
scope (the detached body’s id panics before install) to
launder an owner id through.
Every method is a one-line delegation to a FunctionBody inherent local
verb; none consults FunctionBody::id.
Structs§
- Detached
Mut - The exclusive mutation host for a detached (minted, not-yet-installed) function body. See the module docs: all verbs are body-local.