Function new_and_default_match

crates/kernel/src/primitive.rs:1433–1446

()

    let orig = PrimAddrs::new_orig();
    let canon = PrimAddrs::new();
    assert_eq!(p.nat.addr.hex(), orig.nat.hex());
    // And the canonical addr is different from the LEON one — confirming
    // the two tables aren't accidentally aliased.
    assert_ne!(orig.nat.hex(), canon.nat.hex());
  }

  #[test]
  fn primitives_from_env_orig_empty_fallback_name_is_synthetic() {
    // Check that the synthetic fallback name has the `@<8hex>` shape for
    // an address that doesn't exist in the env. Uses Meta mode so the
    // name metadata is observable.
    let env = KEnv::<crate::mode::Meta>::new();
    let p = Primitives::from_env_orig(&env);
    // Name of `p.nat` should be `@<first 8 hex of nat_orig addr>`.
    let orig = PrimAddrs::new_orig();
    let expected = format!("@{}", &orig.nat.hex()[..8]);
    let got_name = p.nat.name.clone();