fn parse_opt_ensures(cx: &mut ParseCtxt<'_>) -> ParseResult<Vec<Ensures>>Expand description
⟨ensures⟩ := ⟨ensures ⟨ensures_clause⟩,*⟩?fn parse_opt_ensures(cx: &mut ParseCtxt<'_>) -> ParseResult<Vec<Ensures>>⟨ensures⟩ := ⟨ensures ⟨ensures_clause⟩,*⟩?