Function infer_app

crates/kernel/src/infer.rs:712–722

()

    let ty = tc.infer(&n).unwrap();
    // Nat literal type = Nat constant
    assert!(
      matches!(ty.data(), ExprData::Const(id, _, _) if id.addr == tc.prims.nat.addr)
    );
  }

  #[test]
  fn infer_cache() {
    let mut env = test_env();
    let mut tc = TypeChecker::new(&mut env);
    let e = sort0();
    let t1 = tc.infer(&e).unwrap();
    let t2 = tc.infer(&e).unwrap();
    assert_eq!(t1, t2);
  }