Function push_local_does_not_touch_let_count

crates/kernel/src/tc.rs:1225–1239

()

    let mut env = KEnv::<Meta>::new();
    let first = {
      let mut tc = TypeChecker::new(&mut env);
      tc.fresh_fvar_id()
    };
    let second = {
      let mut tc = TypeChecker::new(&mut env);
      tc.fresh_fvar_id()
    };
    assert_ne!(first, second);
    assert_eq!(first.0, 0);
    assert_eq!(second.0, 1);
  }

  #[test]
  fn push_let_increments_let_count() {
    let mut tc = new_tc();
    assert_eq!(tc.num_let_bindings, 0);
    tc.push_let(sort0(), sort0());
    assert_eq!(tc.num_let_bindings, 1);