Function infer_open_cache_is_context_sensitive

crates/kernel/src/infer.rs:771–785

()

  #[test]
  fn infer_open_cache_is_context_sensitive() {
    let mut env = test_env();
    let mut tc = TypeChecker::new(&mut env);
    let e = AE::var(0, ());

    tc.push_local(sort0());
    let t1 = tc.infer(&e).unwrap();
    let cache_len = tc.env.infer_cache.len();
    tc.pop_local();

    tc.push_local(sort1());
    let t2 = tc.infer(&e).unwrap();
    assert_ne!(t1, t2);
    assert!(tc.env.infer_cache.len() > cache_len);
  }

  // =========================================================================
  // Error paths