fn parse_requires_clause(cx: &mut ParseCtxt<'_>) -> ParseResult<Requires>Expand description
⟨requires_clause⟩ := ⟨ forall ⟨refine_param⟩,+ . ⟩? ⟨expr⟩fn parse_requires_clause(cx: &mut ParseCtxt<'_>) -> ParseResult<Requires>⟨requires_clause⟩ := ⟨ forall ⟨refine_param⟩,+ . ⟩? ⟨expr⟩