We say that an expression is "pushdownable" if it's either constant or dynamic.
(self)
| 1168 | |
| 1169 | /// We say that an expression is "pushdownable" if it's either constant or dynamic. |
| 1170 | pub fn pushdownable(self) -> bool { |
| 1171 | match self { |
| 1172 | TraceSummary::Constant | TraceSummary::Dynamic => true, |
| 1173 | TraceSummary::Unknown => false, |
| 1174 | } |
| 1175 | } |
| 1176 | } |
| 1177 | |
| 1178 | impl Interpreter for Trace { |