Function lean_level_param_unknown_panics

crates/kernel/src/ingress.rs:4677–4679

()

    assert_eq!(a1, a2);
  }

  #[test]
  fn lean_name_to_addr_different_names_differ() {
    let a1 = lean_name_to_addr(&mk_name("Nat"));
    let a2 = lean_name_to_addr(&mk_name("Bool"));
    assert_ne!(a1, a2);