()
| 1187 | let v0 = AE::var(0, ()); |
| 1188 | let result = lift(&mut env, &v0, 0, 0); |
| 1189 | assert!(result.ptr_eq(&v0)); |
| 1190 | } |
| 1191 | |
| 1192 | // ---- instantiate_rev ---- |
| 1193 | |
| 1194 | #[test] |
| 1195 | fn instantiate_rev_empty_passthrough() { |
| 1196 | let mut env = InternTable::<Anon>::new(); |
| 1197 | let v0 = AE::var(0, ()); |
| 1198 | let result = instantiate_rev(&mut env, &v0, &[]); |
| 1199 | assert!(result.ptr_eq(&v0)); |
| 1200 | } |
| 1201 | |
| 1202 | #[test] |