fn parse_opt_requires(cx: &mut ParseCtxt<'_>) -> ParseResult<Vec<Requires>>
Expand description
⟨requires⟩ := ⟨ requires ⟨requires_clause⟩,* ⟩?
fn parse_opt_requires(cx: &mut ParseCtxt<'_>) -> ParseResult<Vec<Requires>>
⟨requires⟩ := ⟨ requires ⟨requires_clause⟩,* ⟩?