Method extend_from

src/sql/src/names.rs:2352–2359

Merges all entries from `other` into `self`.

(&mut self, other: &ResolvedIds)

    /// Merges all entries from `other` into `self`.
    pub fn extend_from(&mut self, other: &ResolvedIds) {
        for (id, gids) in &other.entries {
            self.entries
                .entry(*id)
                .or_default()
                .extend(gids.iter().copied());
        }
    }

    /// Create a new [`ResolvedIds`] that contains the elements from `self`
    /// where `predicate` returns `true`.