Function parse_general_exists 

fn parse_general_exists(cx: &mut ParseCtxt<'_>) -> ParseResult<TyKind>

{ ⟨refine_param⟩ ⟨,⟨refine_param⟩⟩* . ⟨ty⟩ | ⟨block_expr⟩ }