> If you can propose a better (and correct) example
> then please do. But you can also submit the issue
> without it.
...
> I think it would be ideal to amend the example
> so that we still deduce to `A<int&>`, but obviously
> if we end up not doing that, then we may not end
> up with an error upon instantiation.
I do not fill yet to master the specific intent
of who designed those examples, therefore
I would prefer just to report there is an issue
there, without proposing a different example.
Is it fair to proceed this way with