Function lam_binder_info_does_not_affect_hash

crates/kernel/src/expr.rs:901–911

()

  }

  // ---- Constructors & hashing ----

  #[test]
  fn var_hash_deterministic() {
    // Identity is intern-assigned now: independently built nodes carry
    // distinct uids but remain structurally equal (`==`).
    assert_eq!(AE::var(0, ()), AE::var(0, ()));
  }

  #[test]
  fn var_different_indices() {
    assert_ne!(AE::var(0, ()).addr(), AE::var(1, ()).addr());
  }