Functions§
- resolve_
program - Run the resolver on all top-level function definitions. Stops after
slot resolution — last-use ownership annotation is its own pipeline
stage (
ir::pipeline::last_use) so the two analyses are individually observable and skippable.