Method narrowing_with

src/analysis/memory/nullness_domain.rs:98–100

(&self, other: &Self)

    }

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

    pub fn leq(&self, other: &Self) -> bool {
        other