{"ast_node_type":"function","tokens":[{"end":74,"kind":"keyword","start":0,"text":"fn"}]}
    fn eliminate_satisfied(&mut self) -> Vec<(ProvidedIdx, ExpectedIdx)> {
    // are inputs on the remaining diagonal that match.
        let num_args = cmp::min(self.provided_indices.len(), self.expected_indices.len());