(&self, id: Id)
| 561 | } |
| 562 | |
| 563 | pub fn get(&self, id: Id) -> Box<dyn Iterator<Item = &[MirScalarExpr]> + '_> { |
| 564 | match id { |
| 565 | Id::Global(id) => Box::new(self.global.indexes_on(id).map(|(_idx_id, key)| key)), |
| 566 | Id::Local(id) => Box::new( |
| 567 | self.local |
| 568 | .get(&id) |
| 569 | .into_iter() |
| 570 | .flatten() |
| 571 | .map(|x| x.as_slice()), |
| 572 | ), |
| 573 | } |
| 574 | } |
| 575 | } |
| 576 | } |
| 577 |
no test coverage detected