Function level_zero_vs_succ_fails

crates/kernel/src/congruence.rs:462–469

()

  #[test]
  fn level_zero_vs_succ_fails() {
    let r = empty_resolver();
    let ll = LL::zero();
    let lu = KUniv::<Anon>::succ(KUniv::zero());
    let e = level_congruent(&ll, &lu, &r).unwrap_err();
    assert!(e.contains("Zero"));
    assert!(e.contains("Succ"));
  }

  #[test]
  fn level_max_vs_imax_fails() {