pub fn resolve_program(items: &mut [TopLevel])Expand description
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.