Method duplicate

src/analysis/memory/nullness_domain.rs:45–51

(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>)

    }

    pub fn duplicate(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>) {
        if let Some(value) = self.value_map.get(old_path).copied() {
            self.value_map.insert(new_path.clone(), value);
        } else {
            self.value_map.remove(new_path);
        }
    }

    pub fn get_paths_iter(&self) -> Vec<Rc<Path>> {
        self.value_map.keys().cloned().collect()