(&self, buf: &mut Vec<u8>)
| 517 | }); |
| 518 | work.push(GetExprFrame::Parse); // first type |
| 519 | }, |
| 520 | Expr::FLAG_ALL => { |
| 521 | if tag.size == 0 { |
| 522 | return Err("get_expr: All with zero binders".to_string()); |
| 523 | } |
| 524 | // Start collecting types |
| 525 | work.push(GetExprFrame::CollectAllType { |
| 526 | collected: Vec::new(), |
| 527 | remaining: tag.size, |
| 528 | }); |