Collects the global collections that this MIR expression directly depends on, i.e., that it has a `Get` for. (It does _not_ traverse view definitions transitively.) !!!WARNING!!!: this method has an HirRelationExpr counterpart. The two should be kept in sync w.r.t. HIR ⇒ MIR lowering!
(&self, out: &mut BTreeSet<GlobalId>)
| 2227 | /// !!!WARNING!!!: this method has an HirRelationExpr counterpart. The two |
| 2228 | /// should be kept in sync w.r.t. HIR ⇒ MIR lowering! |
| 2229 | fn depends_on_into(&self, out: &mut BTreeSet<GlobalId>) { |
| 2230 | if let MirRelationExpr::Get { |
| 2231 | id: Id::Global(id), .. |
| 2232 | } = self |
| 2233 | { |
| 2234 | out.insert(*id); |
| 2235 | } |
| 2236 | self.visit_children(|expr| expr.depends_on_into(out)) |
| 2237 | } |
| 2238 | } |
| 2239 | |
| 2240 | impl MirRelationExpr { |
no test coverage detected