/// Parse the trailing part of a parenthesis grouping.
///
/// ```text
/// parens ::= term(0) ")"
/// ```
Parse the trailing part of a parenthesis grouping.
Parse the trailing part of a parenthesis grouping .
fn parse_parens(
        &mut self,
        start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let term = self.parse_term(Prec(0))?;
        let end_token = self.expect_match(TokenKind::Close(DelimKind::Paren))?;
        let span = FileSpan::merge(start_token.span(), end_token.span());
        Ok(Term::Parens(span, Box::new(term)))
    }
fn parse_parens ( & mut self , start_token : Token < ' file > , ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let term = self . parse_term ( Prec ( 0 ) ) ? ; let end_token = self . expect_match ( TokenKind :: Close ( DelimKind :: Paren ) ) ? ; let span = FileSpan :: merge ( start_token . span ( ) , end_token . span ( ) ) ; Ok ( Term :: Parens ( span , Box :: new ( term ) ) ) }
Parse the trailing part of a parenthesis grouping.
Parse the trailing part of a parenthesis grouping .
&mut self
start_token
Token<'file>