Function parse_refine_arg 

fn parse_refine_arg(cx: &mut ParseCtxt<'_>) -> ParseResult<RefineArg>

⟨refine_arg⟩ :=  @ ⟨ident⟩
              |  # ⟨ident⟩
              |  |⟨⟨refine_parm⟩,*| ⟨expr⟩
              |  ⟨expr⟩