Is `ref` more powerful than match ergonomics?

[tspiteri]

@RalfJung

(I am aware, but this is an unobservable implementation detail of rustc: a macro desugaring + to Add::add does have the correct behavior.)

But it is observable through constness: traits cannot be used in const while primitive addition can be.