fn parse_ascribe<'a>(
    cx: &mut ExtCtxt<'a>,
    stream: TokenStream
) -> PResult<'a, (P<Expr>, P<Ty>)>