()
| 484 | fn equality_by_bytes() { |
| 485 | let a = LazyConstant::from_constant(axiom_constant()); |
| 486 | let b = LazyConstant::from_constant(axiom_constant()); |
| 487 | assert_eq!(a, b); |
| 488 | let d = LazyConstant::from_constant(defn_constant()); |
| 489 | assert_ne!(a, d); |
| 490 | } |
| 491 | |
| 492 | #[test] |
| 493 | fn trailing_bytes_rejected() { |
nothing calls this directly
no test coverage detected