Method forget

src/analysis/memory/nullness_domain.rs:33–35

(&mut self, path: &Rc<Path>)

    }

    pub fn forget(&mut self, path: &Rc<Path>) {
        self.value_map.remove(path);
    }

    pub fn rename(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>) {
        if let Some(value) = self.value_map.remove(old_path) {