Method push

cranelift/codegen/src/ir/memflags.rs:537–542

Push a new alias region, bypassing deduplication. This is used by the CLIF text parser to faithfully represent the source text. The verifier will then check for duplicate `user_id`s.

(&mut self, data: AliasRegionData)

    /// This is used by the CLIF text parser to faithfully represent the
    /// source text. The verifier will then check for duplicate `user_id`s.
    pub fn push(&mut self, data: AliasRegionData) -> AliasRegion {
        let user_id = data.user_id;
        let key = self.alias_regions.push(data);
        self.dedupe_map.insert(user_id, key);
        key
    }

    /// Returns `true` if this set already contains a region with the given
    /// `user_id`.