pub fn closed(module: &Module, graph: &CallGraph) -> Vec<FuncId> ⓘExpand description
The functions this unit can see every call to, with the parameters lined up.
Five things, and the first three are one thing said three ways. Internal linkage means no other
object can name it. No address taken means nothing in this one can reach it except by naming it.
A body this unit may read is CallGraph::trusted_body, which is section 34.1’s gate, and
without it there is nothing to put a constant into. Then the signature has to have a fixed
number of parameters, and the entry block has to have one value per parameter, which is what
makes the position of an argument at a call the position of a parameter in the body.