Function bad_proj_prop6

crates/kernel/src/tutorial/defeq.rs:1986–1995

()

    check_accepts(&mut env, &id);
  }

  /// projProp4 (bad): idx=3, someMoreData : PUnit.{1} — data projection forbidden
  #[test]
  fn bad_proj_prop4() {
    let mut env = prop_structure_env();
    let id = mk_prop_structure_proj_test(
      &mut env,
      "projProp4",
      cnst("PUnit", &[usucc(uzero())]),
      3,
    );
    check_rejects(&mut env, &id);
  }