Function accept_unsafe_negative_self_function

crates/kernel/src/inductive.rs:6671–6678

()

    let generated =
      tc.env.recursor_cache.get(&block).expect("recursor should be cached");
    assert_eq!(
      generated.len(),
      2,
      "flat block should produce 2 recursors (PTree + List aux)"
    );
  }

  #[test]
  fn poly_nested_rec_binder_count() {
    let mut env = poly_nested_env();
    let mut tc = TypeChecker::new(&mut env);