Method new

crates/kernel/src/subst.rs:1347–1349

(seed: u64)

  fn abstract_fvars_empty_passthrough() {
    let mut env = InternTable::<Anon>::new();
    let v0 = AE::var(0, ());
    let result = abstract_fvars(&mut env, &v0, &[]);
    assert!(result.ptr_eq(&v0));
  }

  #[test]