Function display_const_anon

crates/kernel/src/expr.rs:999–1003

()

  fn all_hash_differs_from_lam() {
    let ty = AE::sort(AU::zero());
    let body = AE::var(0, ());
    assert_ne!(
      AE::lam((), (), ty.clone(), body.clone()).addr(),
      AE::all((), (), ty, body).addr()
    );
  }

  #[test]