()
| 930 | |
| 931 | #[test] |
| 932 | fn const_hash() { |
| 933 | let c = AE::cnst(KId::new(mk_addr("Nat"), ()), Box::new([])); |
| 934 | assert_eq!(c.lbr(), 0); |
| 935 | assert_eq!(c.count_0(), 0); |
| 936 | } |
| 937 | |
| 938 | #[test] |
| 939 | fn const_meta_name_does_not_affect_hash() { |
| 940 | // `id.name` is display-only metadata. Two `Const` nodes with the same |
no test coverage detected