Method widening_with

src/analysis/memory/nullness_domain.rs:94–96

(&self, other: &Self)

    }

    pub fn widening_with(&self, other: &Self) -> Self {
        self.join(other)
    }

    pub fn narrowing_with(&self, other: &Self) -> Self {
        self.meet(other)