Function meta_param_name_does_not_affect_hash

crates/kernel/src/level.rs:774–778

()

  fn succ_hash_depends_on_child() {
    let s1 = MU::succ(MU::zero());
    let s2 = MU::succ(MU::succ(MU::zero()));
    assert_ne!(s1.addr(), s2.addr());
  }

  #[test]
  fn max_hash_depends_on_order() {
    let p0 = AU::param(0, ());
    let p1 = AU::param(1, ());