()
| 1032 | let n = AE::nat(Nat::from(42u64), mk_addr("42")); |
| 1033 | let s = AE::str("hello".into(), mk_addr("hello")); |
| 1034 | assert_ne!(n.addr(), s.addr()); |
| 1035 | assert_eq!(n.lbr(), 0); |
| 1036 | } |
| 1037 | |
| 1038 | // ---- mdata accessor ---- |
| 1039 | |
| 1040 | #[test] |
| 1041 | fn mdata_default_empty() { |
| 1042 | let e = ME::var(0, mk_name("x")); |
| 1043 | assert!(e.mdata().is_empty()); |
| 1044 | } |
| 1045 |