fn parse_ann(
        &mut self,
        lhs: Term<'file>,
        _start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let rhs = self.parse_term(Prec(20 - 1))?;

        Ok(Term::Ann(Box::new(lhs), Box::new(rhs)))
    }
/// Parse the trailing part of a type annotation.
///
/// ```text
/// ann ::= term(20 - 1)
/// ```
Parse the trailing part of a type annotation.
Parse the trailing part of a type annotation .
fn parse_ann(
        &mut self,
        lhs: Term<'file>,
        _start_token: Token<'file>,
    ) -> Result<Term<'file>, Diagnostic<FileSpan>> {
        let rhs = self.parse_term(Prec(20 - 1))?;
        Ok(Term::Ann(Box::new(lhs), Box::new(rhs)))
    }
fn parse_ann ( & mut self , lhs : Term < ' file > , _start_token : Token < ' file > , ) -> Result < Term < ' file > , Diagnostic < FileSpan > > { let rhs = self . parse_term ( Prec ( 20 - 1 ) ) ? ; Ok ( Term :: Ann ( Box :: new ( lhs ) , Box :: new ( rhs ) ) ) }
Parse the trailing part of a type annotation.
Parse the trailing part of a type annotation .
&mut self
lhs
Term<'file>
_start_token
Token<'file>
&mut self
lhs
Term<'file>
_start_token
Token<'file>