(ctx: CtxRef, input: ParseStream)
| 594 | } |
| 595 | |
| 596 | fn parse_threshold(ctx: CtxRef, input: ParseStream) -> Result { |
| 597 | let threshold = input.parse::<kw::Threshold>()?; |
| 598 | |
| 599 | let parse_input = ParseChildren::new(input, threshold.span().start()); |
| 600 | let input = Box::new(parse_input.parse_one(ctx, parse_expr)?); |
| 601 | |
| 602 | Ok(MirRelationExpr::Threshold { input }) |
| 603 | } |
| 604 | |
| 605 | fn parse_union(ctx: CtxRef, input: ParseStream) -> Result { |
| 606 | let union = input.parse::<kw::Union>()?; |
no test coverage detected