Function test_context_isolation

crates/kernel/src/equiv.rs:167–174

()

  }

  /// Record that two composite keys are definitionally equal.
  ///
  /// Kept by-value because `node_for_key` inserts the key into the
  /// internal `key_to_node` map on first observation, requiring
  /// ownership transfer. Callers that have already consumed their
  /// `EqKey`s should clone at the call site, not here.
  pub fn add_equiv(&mut self, k1: EqKey, k2: EqKey) {
    let n1 = self.node_for_key(k1);
    let n2 = self.node_for_key(k2);
    self.union(n1, n2);
  }