()
| 1406 | // ctx_ids differ (different outer frames). |
| 1407 | assert_ne!(outer1, tc2.ctx_id); |
| 1408 | |
| 1409 | let (h2, ctx2) = tc2.whnf_key(&e); |
| 1410 | assert_eq!(h1, h2); |
| 1411 | assert_eq!( |
| 1412 | ctx1, ctx2, |
| 1413 | "suffix-aware key should match across different outers" |
| 1414 | ); |
| 1415 | assert_ne!(ctx1, empty_ctx_addr()); |
| 1416 | } |
| 1417 | |
| 1418 | // ---- infer_key ---- |
| 1419 | |
| 1420 | #[test] |
| 1421 | fn infer_key_closed_expr_ignores_ctx() { |
| 1422 | let mut tc = new_tc(); |
| 1423 | tc.push_local(sort0()); |
nothing calls this directly
no test coverage detected