Hello,
Given the following function signature:

RetType foo(T&& arg);

There is no way to tell, from inside the function block,  if the parameter passed to this function is a prvalue or an xrvalue, since both can bind to T&&.
Despite there is a fundamental difference between prvalue and xrvalue,  yet we are not taking advantage of that because we cannot differentiate between them.

Is there any proposal talking about this problem?

Regards
Og