Function parse_ensures_clause 

fn parse_ensures_clause(cx: &mut ParseCtxt<'_>) -> ParseResult<Ensures>

⟨ensures_clause⟩ :=  ⟨ident⟩ : ⟨ty⟩
                  |  ⟨expr⟩