Method blockparam_allocs

src/internal/move_resolver.rs:558–569

Returns the locations for block parameter values at the start of a block.

(
        &self,
        block: Block,
    )

    /// Returns the locations for block parameter values at the start of a
    /// block.
    pub fn blockparam_allocs(
        &self,
        block: Block,
    ) -> impl Iterator<Item = (Value, Allocation)> + '_ {
        let idx = self
            .blockparam_allocs
            .partition_point(|&(block2, _, _)| block2 < block);
        self.blockparam_allocs[idx..]
            .iter()
            .take_while(move |&&(block2, _, _)| block2 == block)
            .map(|&(_, value, alloc)| (value, alloc))
    }
}

// Track whether the current instruction has an external live-in value