Function canonical_pair

crates/kernel/src/def_eq.rs:1638–1640

Canonical ordering for cache keys: (min, max) by hash bytes.

(a: Addr, b: Addr)

      return Ok(None);
    }
    let reduced = self.whnf_no_delta(e)?;
    if reduced.ptr_eq(e) { Ok(None) } else { Ok(Some(reduced)) }
  }

  fn dump_eta_trace(
    &self,