> I think this issue has to be reviewed by CWG.

Sorry to be new about this processes, I don't see yet
what is the difference between an issue with
https://github.com/cplusplus/draft/issues/new
or a CWG.

> 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
https://github.com/cplusplus/draft/issues/new ?

Thank you.