()
| 4871 | |
| 4872 | fn n_lit(x: u64) -> Nat { |
| 4873 | Nat::from(x) |
| 4874 | } |
| 4875 | |
| 4876 | #[cfg(not(target_arch = "riscv64"))] |
| 4877 | #[test] |
| 4878 | fn lean_recursor_layout_uses_source_then_numeric_order() { |
| 4879 | // Layout-only test: the source mutual may split into structural SCCs, |
| 4880 | // but direct ingress must keep all three originals in `.all` order. |
| 4881 | let head = mk_name("Z"); |
| 4882 | let positions = FxHashMap::from_iter([ |
| 4883 | (head.clone(), 0), |
| 4884 | (mk_name("A"), 1), |
| 4885 | (mk_name("C"), 2), |
nothing calls this directly
no test coverage detected