fn ty_expr(p: &mut Parser<'_>, checkpoint: Checkpoint)