()
| 391 | |
| 392 | #[test] |
| 393 | fn ser_de_expr_app_telescope_size() { |
| 394 | let expr = Expr::app( |
| 395 | Expr::app(Expr::app(Expr::var(3), Expr::var(2)), Expr::var(1)), |
| 396 | Expr::var(0), |
| 397 | ); |
| 398 | let mut buf = Vec::new(); |
| 399 | put_expr(expr.as_ref(), &mut buf); |
| 400 | assert_eq!(buf.len(), 5); |
| 401 | assert!(expr_roundtrip(&expr)); |
| 402 | } |
| 403 | |
| 404 | #[test] |
| 405 | fn telescope_lam_byte_boundaries() { |