Method meet

src/analysis/memory/nullness_domain.rs:69–92

(&self, other: &Self)

    }

    pub fn meet(&self, other: &Self) -> Self {
        let all_paths: HashSet<Rc<Path>> = self
            .value_map
            .keys()
            .chain(other.value_map.keys())
            .cloned()
            .collect();
        let mut value_map = HashMap::new();
        for path in all_paths {
            match (self.get(&path), other.get(&path)) {
                (Some(left), Some(right)) if left == right => {
                    value_map.insert(path, left);
                }
                (Some(left), None) => {
                    value_map.insert(path, left);
                }
                (None, Some(right)) => {
                    value_map.insert(path, right);
                }
                _ => {}
            }
        }
        Self { value_map }
    }

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