Method analyse_pessimistic

src/transform/src/analysis.rs:467–474

Analysis that starts conservatively and can be stopped at any point. Result indicates whether new information was produced for `exprs.last()`.

(&mut self, exprs: &[&MirRelationExpr], depends: &Derived)

        ///
        /// Result indicates whether new information was produced for `exprs.last()`.
        fn analyse_pessimistic(&mut self, exprs: &[&MirRelationExpr], depends: &Derived) -> bool {
            // TODO: consider making iterative, from some `bottom()` up using `join_assign()`.
            self.results.clear();
            for (index, expr) in exprs.iter().enumerate() {
                self.results.push(self.derive(expr, index, depends));
            }
            true
        }

        #[inline]
        fn derive(&self, expr: &MirRelationExpr, index: usize, depends: &Derived) -> A::Value {