See [diff.expr].