fn check_annotation_ret_slice(sub: &Expr<()>) -> Result<&Expr<()>>
check for the grammar correctness of annotation, also return the slice of subscript for further parsing