sway_parse/
where_clause.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
use crate::{Parse, ParseResult, Parser};

use sway_ast::punctuated::Punctuated;
use sway_ast::{WhereBound, WhereClause};

impl Parse for WhereClause {
    fn parse(parser: &mut Parser) -> ParseResult<WhereClause> {
        let where_token = parser.parse()?;
        let mut value_separator_pairs = Vec::new();
        let final_value_opt = loop {
            let ty_name = match parser.take() {
                Some(ty_name) => ty_name,
                None => break None,
            };
            let colon_token = parser.parse()?;
            let bounds = parser.parse()?;
            let where_bound = WhereBound {
                ty_name,
                colon_token,
                bounds,
            };
            match parser.take() {
                Some(comma_token) => value_separator_pairs.push((where_bound, comma_token)),
                None => break Some(Box::new(where_bound)),
            }
        };
        let bounds = Punctuated {
            value_separator_pairs,
            final_value_opt,
        };
        Ok(WhereClause {
            where_token,
            bounds,
        })
    }
}