Expand description
Infers the mutation/aliasing effects for instructions and terminals.
Ported from TypeScript src/Inference/InferMutationAliasingEffects.ts.
This pass uses abstract interpretation to compute effects describing creation, aliasing, mutation, freezing, and error conditions for each instruction and terminal in the HIR.
Functionsยง
- infer_
mutation_ aliasing_ effects - Infers mutation/aliasing effects for all instructions and terminals in
func.